3 ms·
I'm interested in learning Idris2, I thought it was intended to blend the strengths of proof assistants and general purpose programming: https://github.com/idr
by aeonik 3y ago
I'm interested in learning Idris2, I thought it was intended to blend the strengths of proof assistants and general purpose programming:
https://github.com/idris-lang/Idris2 https://github.com/idris-lang/Idris2