2012 news
From ProgClub
This is the ProgClub news for the year 2012. Latest news goes on top.
2012-01-07
Pcad progress
Thomas has contributed a first cut OCaml version of the pcad system. Check out the code.
2012-01-01
Happy New Year!
Happy New Year everyone! Hope you all had a great holiday, and here's to an awesome and prosperous 2012!