search

frex-project / idris-frex

Other
46 stars 9 forks source link

Simplify the free-algebra algebraic simplification test #36

Closed ohad closed 3 years ago