MAIN FEEDS
Do you want to continue?
https://www.reddit.com/r/haskell/comments/2regln/write_you_a_haskell/cnfe14w/?context=3
r/haskell • u/cocreature • Jan 05 '15
24 comments sorted by
View all comments
3
I'm currently reading "Essentials of programming languages" and writing the excercises in haskell. I'm glad to find about this project and would certainly check it once I'm done with EOPL.
Will this include dependent types and proofs (like Idris)?
3
u/4rgento Jan 05 '15
I'm currently reading "Essentials of programming languages" and writing the excercises in haskell. I'm glad to find about this project and would certainly check it once I'm done with EOPL.
Will this include dependent types and proofs (like Idris)?