It looks like you're new here. If you want to get involved, click one of these buttons!
I'm starting this as a free-form chat/strategy discussion, for ideas about how to the momentum going, even after the course at MIT ends this month.
I think we're at a crossroad - with some more fermentation and activity, we could build and go forward. There is a lot more content in the lectures than we have touched upon in the lectures - we've only scratched the surface of functional programming here! Without this, however, and with the course at MIT ending soon, we could easily get into a cycle of reduced activity, reduced readership, and a hibernation until next January.
Please chime in with any ideas (even half-baked) you might have here.
And we can also think more broadly, beyond this particular course, about how to use the forum as a place to think about and teach category theory and other math.