search

frex-project / idris-frex

Other
46 stars 9 forks source link

Reflow a long definition #38

Closed ohad closed 3 years ago