I'm making this thing:https://github.com/edwinb/Idris2
-
-
Racket as a backend target? Wow.
-
This is at least partly because I wanted to make sure multiple backends were plausible. It isn't very well tested and there's bits missing.
End of conversation
New conversation -
-
-
Proud to be github star #2 on the repo! :) Does this mean Blowden is deprecated?
-
Yes, good point, I'll add a pointer to the Blodwen README
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.