/agda-commassoc

Fork of Agda with definitional commutativity and associativity

Primary LanguageHaskellOtherNOASSERTION

No issues in this repository yet.