j
k
j a
j l
On 28/08/15 20:33, Ben Gamari wrote:
I half-jokingly suggested that 8.0 should only come with Phase 2 of Richard's Dependent Haskell work
Ah, that would be perfect.
Attachments:
Back to the thread
Back to the list
