×

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!

##dependent on freenode

On freenode | Users Online: 69 | Last Updated: 2017-09-19 12:04:51
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: “It depends.” | Dependentlytyped languages and related systems. | “Constructive modal logics are interesting for programmers, logicians, and philosophers. Shame they don’t talk to each other.” — Valeria de Paiva | No idea what’s going on? Try: http://purelytheoretical.com/sywtltt.html & http://typetheorypodcast.com/ | https://futureoflife.org/aiprinciples/


Topic History(Last 3 topics)

  • 2017-09-12 13:05:05: “It depends.” | Dependentlytyped languages and related systems. | “Constructive modal logics are interesting for programmers, logicians, and philosophers. Shame they don’t talk to each other.” — Valeria de Paiva | No idea what’s going on? Try: http://purelytheoretical.com/sywtltt.html & http://typetheorypodcast.com/ | https://futureoflife.org/aiprinciples/
Channel Traffic: 7 Day History

If you are seeing this, please refresh the page.

Comments on this channel