Re^2: Theorem proving and Unit testing

Thanks for the link, this looks really interesting, very much what I am thinking about. Now only if there were a perl version,... hmmm. Have you yourself ever used this system?

-stvn

Comment on Re^2: Theorem proving and Unit testing

Replies are listed 'Best First'.
Re^3: Theorem proving and Unit testing by sleepingsquirrel (Chaplain) on Aug 26, 2004 at 16:59 UTC
Nope. Never used it myself, although I've been planning to for a while now. And if you look at the bottom of the page you'll see people have imported the idea to languages like Erlang, Scheme, Common Lisp, and Python, so I'd think a perl version wouldn't be too tough. -- All code is 100% tested and functional unless otherwise noted.	[reply]