Talk:Short theorem prover

From HaskellWiki
Revision as of 13:27, 23 December 2006 by JohannesAhlmann (talk | contribs) (request for examples)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to navigation Jump to search
The printable version is no longer supported and may have rendering errors. Please update your browser bookmarks and please use the default browser print function instead.

i would appreciate a small example of a few input/output pairs, so i know how to use it...--Johannes Ahlmann 13:27, 23 December 2006 (UTC)

Retrieved from "https://wiki.haskell.org/index.php?title=Talk:Short_theorem_prover&oldid=9700"