4 ms·
Great to see. Idris is pretty much the final frontier for what I see value in becoming comfortable with as far as functional programming goes. Hopefully it gets
by hood_syntax 10y ago
Great to see. Idris is pretty much the final frontier for what I see value in becoming comfortable with as far as functional programming goes. Hopefully it gets more momentum moving forward.
- the_duke 10y agoThe 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!