If everyone reading this donated $1 we would be done in a matter of hours. Once we reach our goal of $150/mo we will remove ads site-wide, but if you become a Patron today♥ you will enjoy a totally ad-free experience! ☺
Topic: http://idrislang.org | Idris is a general purpose pure functional programming language with dependent types | Please stay here for a while after asking your question, we might not be able to answer immediately | See our FAQ at http://idrislang.org/faq | Unregistered users are currently muted due to spam.
Topic History(Last 3 topics)
Error loading topic history!
If you are seeing this, please refresh the page.