Akarui is a fun functional library for experimenting with different reasoning systems (read the doc carefully: some stuff is experimental, some is fast, some is slow).
Development is done on the 'develop' branch.
Using Cabal, ghc's package manager, you can build the library with:
$ cabal new-update
$ cabal new-install --lib
$ cabal new-configure --enable-tests
$ cabal new-build
$ cabal new-test
After the library is compiled, simply type
$ cabal new-repl
...to have access to the library in an interactive console.
The code is fully documented, type
$ cabal new-haddock
to generate a local copy of the documentation.
The code is released under the permissive Apache v2 license, along with an exception to ensure GPLv2 compatibility see LICENSE.md.