Commits

Branch selector

 master

User selector

All users

All time

Commit History

Commits on Sep 30, 2018

• adds workshop slides

  

  admin

  authored and

  admin

  committed
  fcffbcb

  Copy full SHA for fcffbcb

Commits on Jun 16, 2018

• Update README.md

  nachivpn

  authored
  654b950

  Copy full SHA for 654b950

• Merge branch 'master' of github.com:nachivpn/mt

  nachivpn

  committed
  1b4de0b

  Copy full SHA for 1b4de0b

• sr clean up

  nachivpn

  committed
  b614f38

  Copy full SHA for b614f38

• Create README.md

  nachivpn

  authored
  786a269

  Copy full SHA for 786a269

• adds hello_pe.erl

  nachivpn

  committed
  cd66f69

  Copy full SHA for cd66f69

• adds hello.erl

  nachivpn

  committed
  8cb512e

  Copy full SHA for 8cb512e

• adds evaluated programs

  nachivpn

  committed
  412e358

  Copy full SHA for 412e358

• add mechanism to treat rec inf differently in patterns

  nachivpn

  committed
  33dec5c

  Copy full SHA for 33dec5c

• adds halftime and final report

  nachivpn

  committed
  e5eccf3

  Copy full SHA for e5eccf3

Commits on Jun 12, 2018

• adds typing for records

  nachivpn

  committed
  55bcdbc

  Copy full SHA for 55bcdbc

Commits on Jun 10, 2018

• fixes spec in hm

  nachivpn

  committed
  101943b

  Copy full SHA for 101943b

• adds isTVar/1

  nachivpn

  committed
  f31abbc

  Copy full SHA for f31abbc

• adds types for some more standard fns

  nachivpn

  committed
  e5d858d

  Copy full SHA for e5d858d

Commits on Jun 5, 2018

• adds demo stuff

  nachivpn

  committed
  99df723

  Copy full SHA for 99df723

Commits on Jun 4, 2018

• pretty printing for tuples

  nachivpn

  committed
  5988714

  Copy full SHA for 5988714

• adds element tc and dynamic fun call in pe

  nachivpn

  committed
  cd52fda

  Copy full SHA for cd52fda

Commits on Jun 2, 2018

• implements j's recomm

  nachivpn

  committed
  ae604af

  Copy full SHA for ae604af

• implements partial unification

  nachivpn

  committed
  bc7ea92

  Copy full SHA for bc7ea92

Commits on Jun 1, 2018

• fixes updating env with sub in match pe

  nachivpn

  committed
  25ded8e

  Copy full SHA for 25ded8e

• fixes env handling in match pe

  nachivpn

  committed
  2c51c9e

  Copy full SHA for 2c51c9e

Commits on May 30, 2018

• fixes but with clause pattern matching

  nachivpn

  committed
  6826b46

  Copy full SHA for 6826b46

Commits on May 29, 2018

• fixes reduced fun clauses

  nachivpn

  committed
  3d8925f

  Copy full SHA for 3d8925f

Commits on May 28, 2018

• pe for built-in functions

  nachivpn

  committed
  4b5807d

  Copy full SHA for 4b5807d

Commits on May 23, 2018

• renames Pid class, fixes ! type

  nachivpn

  committed
  74fc793

  Copy full SHA for 74fc793

• treats unbound constructors as tuples/atoms

  nachivpn

  committed
  2060690

  Copy full SHA for 2060690

• impls special case type checking on branch exprs

  nachivpn

  committed
  8e24c56

  Copy full SHA for 8e24c56

• fixes test suite to check for type errors

  nachivpn

  committed
  e698ab9

  Copy full SHA for e698ab9

• treat udt defined atoms as constructors

  nachivpn

  committed
  a01f87d

  Copy full SHA for a01f87d

Commits on May 20, 2018

• improves rt type errors, adds support for is_function

  nachivpn

  committed
  d6d5fb5

  Copy full SHA for d6d5fb5

Commits on May 19, 2018

• implements remote type lookup

  nachivpn

  committed
  7be7fa6

  Copy full SHA for 7be7fa6

• renames eti to ei

  nachivpn

  committed
  a775a72

  Copy full SHA for a775a72

• updates gitignore

  nachivpn

  committed
  0b6ada1

  Copy full SHA for 0b6ada1

• implements module type sign dump

  nachivpn

  committed
  dcc9b95

  Copy full SHA for dcc9b95

• refactors env

  nachivpn

  committed
  737fe3c

  Copy full SHA for 737fe3c