The goal of this project is quickly explained: To become a more or less comprehensive guide to the Idris programming language, with a lot of introductory material targeted at newcomers to functional programming. Read more…
- Comment
- Reblog
-
Subscribe
Subscribed
Have a WordPress.com account? Log in now.
