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 @edwinbrady
Proud to be github star #2 on the repo! :) Does this mean Blowden is deprecated?
1 reply 0 retweets 1 like
Replying to @austinvhuang
Yes, good point, I'll add a pointer to the Blodwen README
3:01 PM - 8 Jul 2019
0 replies
0 retweets
0 likes
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.