[Agda] Lightweight free theorems

Jean-Philippe Bernardy bernardy at chalmers.se
Fri May 7 15:48:46 CEST 2010

Previous message: [Agda] Lightweight free theorems
Next message: [Agda] LFMTP 2010 at FLoC: Call for participation
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

Now uploaded to (and linked from) the wiki:

http://wiki.portal.chalmers.se/agda/pmwiki.php?n=Libraries.LightweightFreeTheorems


-- JP.

Previous message: [Agda] Lightweight free theorems
Next message: [Agda] LFMTP 2010 at FLoC: Call for participation
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the Agda mailing list