The Comonad.Reader » Logic http://comonad.com/reader types, (co)monads, substructural logic Thu, 22 Jul 2010 19:53:03 +0000 http://wordpress.org/?v=2.8.4 en hourly 1 ##logic http://comonad.com/reader/2006/logic/ http://comonad.com/reader/2006/logic/#comments Thu, 09 Nov 2006 06:02:54 +0000 Edward Kmett http://comonad.com/reader/2006/logic/ A number of us from the freenode #haskell channel have gone and formed/revived ##logic to avoid overwhelming the main Haskell channel with traffic. Originally, I just wanted to revive the #logic channel that was already there, but upon talking to the freenode staff, it appears that they have channel naming guidelines that preclude topical discussion channels getting single # names without some sort of clear trademark. They were however nice enough to forward the previous #logic channel to the new location.

In any event, if you are interested in logic at pretty much any level, feel free to stop by the channel.

]]> http://comonad.com/reader/2006/logic/feed/ 0