toothbrush/agda-gp — comment on commit f2f1b97946d1829d6f92e03ea9a4e477e859d0ca
File:  line 0
By jpcooper:

Bad commit comment: I changed the definition of two to reflect its datatype definition.