temporal project where I do my unassessed haskell exercises
Test runner framework
Radix practice test
This is a implementation of first order predicate logic statement evaluator.
An Attempt at a one line prime number generator in Haskell
First order logic parser and evaluator in Haskell
DoC backup of https://github.com/resource-reasoning/jscert_dev
Exercise tests from heskell