×

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!

#agda on freenode

On freenode | Users Online: 114 | Last Updated: 2018-10-22 17:05:13
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: Agda: is it a dependentlytyped programming language? Is it a proofassistant based on intuitionistic type theory? ¯\(°_0)/¯ Dunno, lol. | Wiki: http://bit.ly/7pSJE | Logs: http://agda.orangesquash.org.uk/ | http://news.gmane.org/gmane.comp.lang.agda | Please comment your Agda | Lib: http://bit.ly/RivPPG


Topic History(Last 3 topics)

  • 2018-10-15 17:05:35: Agda: is it a dependentlytyped programming language? Is it a proofassistant based on intuitionistic type theory? ¯\(°_0)/¯ Dunno, lol. | Wiki: http://bit.ly/7pSJE | Logs: http://agda.orangesquash.org.uk/ | http://news.gmane.org/gmane.comp.lang.agda | Please comment your Agda | Lib: http://bit.ly/RivPPG
Channel Traffic: 7 Day History

If you are seeing this, please refresh the page.

Comments on this channel