14 Nov
2005
14 Nov
'05
9:51 p.m.
Anyone interested in program verification issues in a Haskell context should check out the Programatica project: <http://www.cse.ogi.edu/PacSoft/projects/programatica/> (I'm not sure how recent changes at OGI/PacSoft may have affected the on-going status of this project, but there is a lot there already and the principals are still active, if a bit shuffled around.) -- Fritz