I taught Software Engineering last year, so as you can see, I can do precise requirements specs.
-
-
Show this threadThanks. Twitter will use this to make your timeline better. UndoUndo
-
-
-
Will you be at ICFP? If so you want to talk about Idris 2 + Parallelism?
-
Sadly not, too much going on this year. But that's certainly a thing that needs talking about...
- 2 more replies
New conversation -
-
-
But will it run whitespace code?
-
At least as well as Idris 1 does.
End of conversation
New conversation -
-
-
Can I help it to have copatterns somehow? Can I help in any way? Where should I go? To a ... mailing list? IRC?
-
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
End of conversation
New conversation -
-
-
I got the impression that interfaces might be getting a revamp?
-
Yes - I'm counting that under "only work better" :).
End of conversation
New conversation -
-
-
for people who just had a hard time googling it, I assume QTT = "Quantitative Type Theory", from http://lambda-the-ultimate.org/node/5453 ?
-
That's the one, yes. I ran out of space...
- 1 more reply
New conversation -
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.