Hello,<br><br>&nbsp;&nbsp;&nbsp; I am fairly familiar with 1st order&nbsp; logic&nbsp; ... hence I think I understand where Z (Zed) is &quot;going&quot; ... i.e. <a href="http://en.wikipedia.org/wiki/Z_notation">http://en.wikipedia.org/wiki/Z_notation
</a>. It seems to be based on the ZFC formal notion of set theory.<br><br>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&#39;t want to waste a lot of time reading the Zed spec if useless.
<br><br><br><br>Kind regards, Vasili Galchin<br>