Currently, focus of this account is to star friends' repos.
And there is no need to follow back. qwq :)
lambda-neko / 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