@DavidTanzer Have started _Programming with Categories - Lecture 8 Discussion_ .

@FabricioOlivetti Good idea about having a repo. I would suggest starting out here on the azimuthproject site to keep everything in one place for now, and as simple as possible. What do other people think? Is there already a azimuthproject presence at github?