New release: Idris 0.9.2 on hackage
7 views
Skip to first unread message
Edwin Brady
Feb 27, 2012, 7:00:11 PM2/27/12
to idris...@googlegroups.com
Hi all,
I've just uploaded a new version of Idris to hackage. You can install this with "cabal update; cabal install idris" as usual. This is mostly to bring the hackage version up to date with numerous recent fixes. Full details are on the web site:
I've just uploaded a new version of Idris to hackage. You can install this with "cabal update; cabal install idris" as usual. This is mostly to bring the hackage version up to date with numerous recent fixes. Full details are on the web site:
http://idris-lang.org/archives/160
As usual, let me know how it goes...
Enjoy,
Edwin.
Reply all
Reply to author
Forward
0 new messages