Timeline


and

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
Note: See TracTimeline for information about the timeline view.