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

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"