7 ms·
The post says "Idris is still primarily a research project". So I wouldn't count on too much momentum. ;)
by the_duke 10y ago
The post says "Idris is still primarily a research project".
So I wouldn't count on too much momentum. ;)
- hood_syntax 10y agoWell, you're right. But that's where Haskell came from, so I'm not giving up hope just yet!