All levels, all topics. Mutable state prohibited.

News

• 20 Nov 2012 » Coq Part1
• 23 Apr 2012 » Coding Dojo
• 19 Mar 2012 » Mailing List
• 02 Mar 2012 » Why Functional Programming Matters
• 10 Jan 2012 » Creation And First Meeting