which dependently-typed languages are suitable for realistic end-to-end language implementation? is idris there yet?
-
-
Replying to @chrisamaphone
@chrisamaphone Do you mean as the implementation language for another language?1 reply 0 retweets 0 likes -
-
Replying to @chrisamaphone
@chrisamaphone I guess the usual "is it self-hosting?" test would apply. Idris isn't self hosting yet. /cc@edwinbrady@d_christiansen1 reply 0 retweets 0 likes
Replying to @milessabin
@milessabin I think we'd iron out lots of problems by having a go but it's a big job. @chrisamaphone @d_christiansen
9:51 AM - 18 Feb 2015
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.