Add some elba stuff - Githubissues

vmchale / recursion_schemes

Recursion schemes for Idris

BSD 3-Clause "New" or "Revised" License

64 stars 5 forks source link

Add some elba stuff #8

Open dcao opened 6 years ago

dcao commented 6 years ago

Update the specdris dep to point at the upstream repo
Update tests to work with the latest version of elba
Sell out for elba more in the README