Explore projects

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

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

Test runner framework

first Project

2009 Past haskell test

First order logic parser and evaluator in Haskell

temporal project where I do my unassessed haskell exercises

An Attempt at a one line prime number generator in Haskell