[Agda] Issue 508: Support Bird-style literate Agda

Peter Divianszky divipp at gmail.com
Fri Jan 18 18:22:46 CET 2013

Previous message: [Agda] ARiSVe 2013 call for papers
Next message: [Agda] Issue 508: Support Bird-style literate Agda
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

Hi,

Is someone working on "Issue 508: Support Bird-style literate Agda" ?
I would look at this.

Cheers,
Peter

Previous message: [Agda] ARiSVe 2013 call for papers
Next message: [Agda] Issue 508: Support Bird-style literate Agda
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the Agda mailing list