search

vmchale / recursion_schemes

Recursion schemes for Idris
BSD 3-Clause "New" or "Revised" License
64 stars 5 forks source link

Update README.md #7

Closed xgrommx closed 7 years ago

vmchale commented 7 years ago

Thanks for catching this!