It's been a while since anyone asked if Idris could be lazy by default... Github makes it easy to fork, and Idris makes it easy to write your own backend, so enjoy yourself :). (As with much of CS, it's a trade off. Laziness is lovely. It has its place. Idris isn't lazy. Sorry)
Idris 2 uses Scheme by default, at least for the moment. There is one for Idris 1 (I posted a link to the mailing list earlier) but I don't think it's actively maintained.
-
-
It's passively maintained!
-
It helps me with my Idris 2 backend either way so thanks :)
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.