×

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! ☺

Become a Patron!

#idris on freenode

On freenode | Users Online: 212 | Last Updated: 2018-12-13 04:05:09
Connect to this channel with ... connect to IRC using IRCCloud IRCCloud | connect to IRC using KiwiIRC KiwiIRC | connect to IRC using your default IRC client Default IRC Client

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)

  • 2018-12-06 04:04:48: 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.
Channel Traffic: 7 Day History

If you are seeing this, please refresh the page.

Comments on this channel