search

passy / awesome-recursion-schemes

Resources for learning and using recursion schemes.
1.22k stars 56 forks source link

add mention of an idris library I wrote #6

Closed vmchale closed 7 years ago

passy commented 7 years ago

@vmchale That sounds great, but I think you've pasted the wrong link there. :)

vmchale commented 7 years ago

Oh, my apologies! Fixed it now :)

passy commented 7 years ago

No problem at all! Thanks for the link! I've only now made the mental connection between your GitHub and Twitter account. :)