San Francisco, CAUSA
October 9, 2012
Currently working through Awodey
Enough to follow Bob Harper's lectures at OPLSS and be interested in homotopy type theory
Competent at Haskell
Fell in love with functional programing, then category theory, then type theory.
Help support your Meetup
A seminar dedicated to studying and discussing applied category theory, functors, monads, type theory, category logic, functional programming.
Some basic knowledge is desired.
Google group BACAT is migrating here: https://groups.google.com/forum/?fromgroups#!forum/bacat
1,340 Clojure programmers
12,823 Hackers / Founders
7,491 Data Bees
3,105 Data Scientists
Meetup members, Log in