marcuse1w / learn-you-an-idris Goto Github PK
View Code? Open in Web Editor NEWThis project forked from pvorb/learn-you-a-haskell
A Idris tutorial in the making based on “Learn You a Haskell for Great Good!” by Miran Lipovača
Home Page: https://learnyouahaskell.com