/rekenaar

Idris tactics for (commutative) monoids

Primary LanguageIdris

Stargazers