There's a new version of Idris out, with lots of improvements and fixes: http://www.idris-lang.org/idris-0-9-16-released/ … Enjoy!
-
-
@edwinbrady many thanks! -
@acfoltzer If you can have it build with -f FFI by default, it will prevent a lot of user confusion as well. cc@edwinbrady
End of conversation
New conversation -
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.