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
_______________________________________________
Haskell mailing list
[email protected]
http://www.haskell.org/mailman/listinfo/haskell
