I'd better see if I can deliver on this promise... I can offer evidence of more progress on the successor to Idris, which I hope is at least slightly exciting. github.com/edwinb/Blodwen
Quote Tweet
Anyway. Sorry about all the strike related ranting. We're back at work on
Friday. I promise an exciting dependent types related tweet then to make up for my current grumpiness :).
Show this thread
2
5
26
