[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