[Agda] Agda documentation
effectfully
effectfully at gmail.com
Thu Nov 5 18:08:32 CET 2015
Previous message:
[Agda] Agda documentation
Next message:
[Agda] Type Mismatch in with
Messages sorted by:
[ date ]
[ thread ]
[ subject ]
[ author ]
I join others: this is great. Could you also add something about rewrite rules?
Previous message:
[Agda] Agda documentation
Next message:
[Agda] Type Mismatch in with
Messages sorted by:
[ date ]
[ thread ]
[ subject ]
[ author ]
More information about the Agda mailing list