[Agda] IO in Agda.

Peter G. Hancock hancock at spamcop.net
Thu Dec 9 13:14:45 CET 2004

Previous message: [Agda] Agda "trusted core".
Next message: [Agda] IO in Agda.
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

Has there been any discussion of whether and how to represent
an IO interface in Agda? 

Is this even on the radar?

Peter Hancock

Previous message: [Agda] Agda "trusted core".
Next message: [Agda] IO in Agda.
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the Agda mailing list