4 ms·
Agda and Idris both also position themselves similarly.
by epgui 3y ago
Agda and Idris both also position themselves similarly.
- siknad 3y agoLean4 is intended to be both, while Idris is more on the programming side and Agda - one the proof side. Maybe I'm mistaken about Idris, but Agda really doesn't prioritize programming: library handling, ffi, and tooling are all rudimentary.
- epgui 3y agoYou may be right— My knowledge of these languages does not run very deep (although I am enthusiastic about them and am learning).