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