Explore projects

BEng Individual Project Software Archive

2009 January practice test

Radix practice test

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

Exercise tests from heskell

temporal project where I do my unassessed haskell exercises

First order logic parser and evaluator in Haskell