Hello,
I am fairly familiar with 1st order logic ... hence I think I understand where Z (Zed) is "going" ... i.e. http://en.wikipedia.org/wiki/Z_notation
. It seems to be based on the ZFC formal notion of set theory.
1) I have a formal spec in Z (Zed) and the implementation is in ANSI C. Can I (easily!) develop a Haskell implementation from the Zed`specification? The reason I ask is that I don't want to waste a lot of time reading the Zed spec if useless.
Kind regards, Vasili Galchin