I'm making this thing:https://github.com/edwinb/Idris2
-
-
Replying to @edwinbrady
do you need any help ? im new to DT but would like to contribute as im planning to write msc thesis on DT.
1 reply 0 retweets 4 likes
Replying to @sawiczpawel
Yes please! There's loads needs doing. See https://github.com/edwinb/Idris2/blob/master/CONTRIBUTING.md … for a few ideas
6:01 AM - 9 Jul 2019
0 replies
2 retweets
3 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.