Explore projects

DoC backup of https://github.com/resource-reasoning/jscert_dev

Exercise tests from heskell

2009 Past haskell test

2009 January practice test

Radix practice test

This is a implementation of first order predicate logic statement evaluator.

Received a mark of 25/30