Missing Data/Functor/Foldable/Extra

vmchale / recursion_schemes

Recursion schemes for Idris

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

64 stars 5 forks source link

Closed xgrommx closed 7 years ago

xgrommx commented 7 years ago

Hello @vmchale Looks like u forgot add Data/Functor/Foldable/Extra to your repo.

vmchale commented 7 years ago

Fixed now!