These are chat archives for typelevel/general
General topics relating to the the Typelevel project http://typelevel.org/ | See also individual project channels | Code of conduct http://typelevel.org/conduct.html
just wait for all those
Category Theory course I teach to art students....
Gotta be worth it just for that, surely? :)