I started learning Idris last night. Really enjoying how much code the compiler can write for you just from the type signatures you give

Mastodon

Server run by the main developers of the project 🐘 It is not focused on any particular niche interest - everyone is welcome as long as you follow our code of conduct!