16 Oct
2007
16 Oct
'07
3:39 a.m.
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