I'm making this thing:https://github.com/edwinb/Idris2
-
-
Still plenty to do, but it's probably more likely to happen if I let other people have a go :). I've got as far as Chapter 11 of the TypeDD book in updating examples, so at least there's some evidence that things are starting to work...
2 replies 1 retweet 34 likesShow this thread -
Replying to @plragde
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.
3:03 PM - 8 Jul 2019
0 replies
0 retweets
1 like
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.