what version of idris are we going to use? ^__^" I couldn't find it on the website or in the slides
-
-
-
Anything from 1.0 later will be fine. Most recent is probably best.
- 2 more replies
New conversation -
-
This Tweet is unavailable.
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.