3 ms·

Do you recommend any of the dependently typed languages more over others?

• Yoric 4y ago
  My experience is stale by now. I'd really like to try recent versions of Idris, though.