

If I was to share something, the pair programming had to be part of it. Why Pair programming? Pair programming on a Coq project, where I am still learning the language, libraries and underlying theory, has been more educational to me than I could have ever imagined.

What better place for streaming Coq, “the world’s geekiest computer game”.

What if there was a way to share some of the study group I found in London with others? Streaming on Twitch seems to be a way to accomplish this. Things have since changed with regards to functional programming at Stellenbosch University, where Haskell is now being taught in a popular choice module, but what if I wanted to study Coq programming next. I remember that working in, Stellenbosch, South Africa, I had to drive an hour and a half, one way, to Scarborough, Cape Town to find a group of about ten people interested in functional programming. People who are interested in learning the same thing you are and who are at a similar level in their learning experience on that topic, people you can form a study group with. It also makes it easier to find like minded people. Why Streaming? One of the advantages of living in a big city, like London, is not just that you don’t have to own a car.
