I am usually available through Telegram and Discord, under the same username.
smivan / idris2 Goto Github PK
View Code? Open in Web Editor NEWThis project forked from idris-lang/idris2
A purely functional programming language with first class types
Home Page: https://idris-lang.org/
License: Other