On hearing that I'm working on an Idris 2, people are full of exciting suggestions as to what it should do. So here's the plan:
a) Be pretty much exactly the same as Idris 1, only work better
b) Any differences due to being based on QTT (HT @pigworker and @bentnib)
-
Show this thread
-
Can I help it to have copatterns somehow? Can I help in any way? Where should I go? To a ... mailing list? IRC?
1 reply 0 retweets 1 like
Replying to @kristleifur
I'll need to write a bit more documentation about how the system works, but I think that is something you can add fairly unobtrusively. You can see current progress athttps://github.com/edwinb/Blodwen
0 replies
0 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.