[Agda] Coding Conventions

Vag Vagoff vag.vagoff at gmail.com
Wed Oct 28 19:01:19 CET 2009


Are there any documents around describing Agda coding conventions?

E.g. which style to use when constructor names clashed with type names, 
and how to name is-a property -- record is-thing or record IsThing.



More information about the Agda mailing list