Idris 1.2.0 has been released. Enjoy! Details here: https://www.idris-lang.org/idris-1-2-0-released/ …
-
-
Why trifecta was picked in the first place and not happy/alex, like GHC? (Other than "ewww, those error messages in generated code")
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
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.