[Agda] code.haskell.org
Permjacov Evgeniy
permeakra at gmail.com
Thu Feb 3 17:52:23 CET 2011
Previous message:
[Agda] Extending Pattern Unification to Records
Next message:
[Agda] code.haskell.org
Messages sorted by:
[ date ]
[ thread ]
[ subject ]
[ author ]
code.haskell.org/Agda is empty or wiped out. Where can I download current sources?
Previous message:
[Agda] Extending Pattern Unification to Records
Next message:
[Agda] code.haskell.org
Messages sorted by:
[ date ]
[ thread ]
[ subject ]
[ author ]
More information about the Agda mailing list