[Agda] Agda documentation

effectfully effectfully at gmail.com
Thu Nov 5 18:08:32 CET 2015


I join others: this is great. Could you also add something about rewrite rules?


More information about the Agda mailing list