Explore projects

Exercise tests from heskell

Received a mark of 25/30

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

Test runner framework

first Project

2009 Past haskell test

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

First order logic parser and evaluator in Haskell