4 ms·
https://learn-idris.net/ https://learn-idris.net/ this is the website I made. Not sure it is very good though. The Edwin’s book about Idris is good, BTW.
by lightgreen 6y ago
https://learn-idris.net/ https://learn-idris.net/ this is the website I made. Not sure it is very good though.
The Edwin’s book about Idris is good, BTW.