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
_______________________________________________
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe
