Comment on Idris, a language that will change the way you think about programming (2015)parentComments−codygman10yThis is a good tutorial for web development with Yesod:https://pbrisbin.com/posts/developing_web_applications_with_...You might want to try using stack instead of cabal though to ensure you avoid any dependency issues. I think cabal will work fine these days, but I have been using stack/stackage for some time so can't guarantee it.
Comments
This is a good tutorial for web development with Yesod:
https://pbrisbin.com/posts/developing_web_applications_with_...
You might want to try using stack instead of cabal though to ensure you avoid any dependency issues. I think cabal will work fine these days, but I have been using stack/stackage for some time so can't guarantee it.