/agda-assoc-free

An implementation of "Associativity for Free"

MIT LicenseMIT

No issues in this repository yet.