[Agda] Issue 508: Support Bird-style literate Agda
Peter Divianszky
divipp at gmail.com
Fri Jan 18 18:22:46 CET 2013
Hi,
Is someone working on "Issue 508: Support Bird-style literate Agda" ?
I would look at this.
Cheers,
Peter
More information about the Agda
mailing list