San Francisco, CAUSA
May 22, 2014
Can write a decent .emacs file; studying the FantasyLand specification
Did some work on matroid categories back in school.
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
5,566 Members and Guests
3,449 Deep Learners
Or sign up with email
Already a member? Log in.
Meetup members, Log in