search

frex-project / idris-frex

Other
46 stars 9 forks source link

[ new ] getting rid of loops in proofs #41

Closed gallais closed 3 years ago

gallais commented 3 years ago

It was super easy to do & should be nlogn so why not do it?