Difference between revisions of "2012 news"
From ProgClub
Line 3: | Line 3: | ||
= 2012-01-07 = | = 2012-01-07 = | ||
− | == Pcad == | + | == Pcad progress == |
[[User:SanguineV|Thomas]] has contributed a first cut OCaml version of the [[pcad]] system. Check out [https://www.progclub.org/pcrepo/pcad/trunk/src/ml/ the code]. | [[User:SanguineV|Thomas]] has contributed a first cut OCaml version of the [[pcad]] system. Check out [https://www.progclub.org/pcrepo/pcad/trunk/src/ml/ the code]. |
Revision as of 00:16, 9 January 2012
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!