Idris 1.0 – a language with fool dependent types.
(Seriously – congrats, @edwinbrady!)https://twitter.com/idrislang/status/848088783505555456 …
-
-
*Years* in the making. Bravo!
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.