lemTest not in prelude..
authorSimon Huber <hubsim@gmail.com>
Tue, 24 Mar 2015 10:29:44 +0000 (11:29 +0100)
committerSimon Huber <hubsim@gmail.com>
Tue, 24 Mar 2015 10:29:44 +0000 (11:29 +0100)
commit13440b3db3eab3f8bd6e7fe5e42e775fa1f388b7
tree6e9bcbb3e1d780b76495fd285f3aee8639ac9b59
parent253770e14ea269d4720fcab82cf301cbfbd31725
lemTest not in prelude..
examples/bool.ctt
examples/prelude.ctt