[Haskell-cafe] Re: System.Posix
vigalchin at gmail.com
Mon Oct 15 23:39:10 EDT 2007
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
-------------- next part --------------
An HTML attachment was scrubbed...
More information about the Haskell-Cafe