Commits

Branch selector

 master

User selector

All users

Datepicker

All time

Commit History

Commits on Feb 17, 2014

• Nice constructors and printers for trees

  gzm0

  committed
  548de7e

Commits on Feb 16, 2014

• First approach to partial evaluation of fix

  gzm0

  committed
  658203d

Commits on Feb 15, 2014

• Cleanup compiler

  gzm0

  committed
  27940f9

• Make compiled fix work

  gzm0

  committed
  898587f

Commits on Feb 14, 2014

• Add true trees for lambdas

  gzm0

  committed
  d83cf83

• Add more syntax and start fix

  gzm0

  committed
  b321398

• Add .gitignore

  gzm0

  committed
  9ee7fd9

Commits on Feb 13, 2014

• Initial version.

  vjovanov

  committed
  3f89a25

• first commit

  vjovanov

  committed
  15e8ed9