Skip to content

Instantly share code, notes, and snippets.

@lazywithclass

lazywithclass/blog-post.md

Created May 1, 2017 01:01
Show Gist options
  • Star 0 You must be signed in to star a gist
  • Fork 0 You must be signed in to fork a gist
  • Save lazywithclass/423fdf48a68de146b01c56137a32dedd to your computer and use it in GitHub Desktop.
Save lazywithclass/423fdf48a68de146b01c56137a32dedd to your computer and use it in GitHub Desktop.
Download ZIP
[RC Diary] Idris (-30)
Raw
blog-post.md

[RC Diary] Idris (-30)

First I tried with cabal install idris, but that left me there puzzled because of modules depending with each other and failing all together happily.

Then I tried with stack, and stack install idris --install-ghc. The install-ghc flag allows to install the correct version of GHC, which for example on my system was too old.

Which all failed miserably.

So I went with installing Idris in a sandbox which a few people suggested, and it worked!

I had a look at this video from Edwin Brady, I've found it pretty useful to understand the amount of work Idris could do for you.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment