2012 news

From ProgClub

Revision as of 00:16, 9 January 2012 by John (talk | contribs)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Jump to: navigation, search

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!

Retrieved from "https://www.progclub.org/wiki/mediawiki/index.php?title=2012_news&oldid=2392"