Timeline

View changes from
and days back
done by

Repository changesets Milestones reached Tickets opened and closed Wiki changes

03/07/11:

13:08 Ticket #106 (Type-checker uses old (probably broken) logical characterization of ...) created by hritcu

Turns out that the logical characterization of kinding and subtyping …

02/10/11:

11:18 WikiStart edited by hritcu

(diff)

02/07/11:

13:26 WikiStart edited by hritcu

(diff)

02/06/11:

15:00 WikiStart edited by hritcu

(diff)

15:00 WikiStart edited by hritcu

(diff)

14:55 Ticket #105 (spam) closed by hritcu

invalid