And thanks to @kryptiskt, there’s Windows Binaries of Idris 0.12 now available:https://github.com/idris-lang/Idris-dev/wiki/Windows-Binaries …
-
-
-
BINARIES UNTO THE BINARY GOD
End of conversation
New conversation -
-
-
in the extended `with` bit, shouldn't the type of snocList be `(xs : List a) -> SnocList xs` not `(xs : List a) -> SnocList a`
-
Ah yes, thanks. Fixed!
End of conversation
New conversation -
-
-
I enjoy the recent real-world adoption.pic.twitter.com/JbLxkJVcwc
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.