in reply to Re^2: Theorem proving and Unit testing
in thread Theorem proving and Unit testing

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.