Timeline

View changes from
and days back
done by

Repository changesets Milestones reached Tickets opened and closed Wiki changes

Dec 5, 2012:

10:26 PM Changeset [16] by gobi

fixing spaces, tabs

Nov 16, 2012:

4:26 PM Changeset [15] by gobi

new solver

10:38 AM Changeset [14] by gobi

removing some debug

Nov 15, 2012:

1:02 AM Changeset [13] by gobi

fixing readme

12:44 AM Changeset [12] by gobi

code cleanup

12:16 AM Changeset [11] by gobi

cabal file

Nov 14, 2012:

8:45 PM Changeset [10] by gobi

adding a new implementation of Lambda

8:02 AM Changeset [9] by gobi

finishing arrow type

Nov 13, 2012:

11:27 PM Changeset [8] by gobi

new arrow types

4:36 PM Changeset [7] by gobi

new embedding of Lambda Calculus

Nov 12, 2012:

4:06 AM Changeset [6] by gobi

hlint