Sure but can you append a list with two elements to another list with to elements
-
-
Replying to @mrb_bk
Totally. This language is Completely Usable! Oh yes.pic.twitter.com/i9pWdU1Z9w
1 reply 0 retweets 6 likes -
-
Indeed. Although, I haven’t implemented a totality checker yet :).
2 replies 0 retweets 1 like -
Replying to @edwinbrady @plragde
Is this the land where you'll experiment with other effects systems?
1 reply 0 retweets 0 likes -
I'm hoping to experiment with lots of things, but first I want a core that works properly. DTs are really helping so far...
2 replies 0 retweets 3 likes -
Idris about to be self hosting?
1 reply 0 retweets 2 likes -
I am making no promises :). But wherever this ends up, I hope it will fix some of the mistakes in the design/implementation of Idris…
1 reply 0 retweets 5 likes -
Replying to @edwinbrady @milessabin and
Mostly I’m doing this because I want to write a big(ish) thing in Idris, and type checkers are the only things I know how to write.
2 replies 0 retweets 12 likes -
Ooh what's the biggish thing
1 reply 0 retweets 0 likes
The thing at the start of this thread :)
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.