Jun 24, 2013:

1:32 PM Ticket #307 (Shift lazy witness type constructors to Eval fragment) created by benl
1:30 PM Ticket #306 (Remove mention of lazy evaluation from core language.) created by benl
The core language has been refactored so lazy evaluation becomes a …

May 27, 2013:

5:52 AM Ticket #305 (Types of Eval primops are not stable under eta expansion) created by benl
[…] The Use terms need to appear on the outer-most function arrow.
Note: See TracTimeline for information about the timeline view.