Classical Logic in Haskell
Clone or download
Latest commit a32a1cd Dec 20, 2018
Permalink
Type Name Latest commit message Commit time
Failed to load latest commit information.
app Initial commit Dec 20, 2018
src Initial commit Dec 20, 2018
test Initial commit Dec 20, 2018
.gitignore Initial commit Dec 20, 2018
ChangeLog.md Initial commit Dec 20, 2018
LICENSE Initial commit Dec 20, 2018
Makefile Initial commit Dec 20, 2018
README.md Updated README Dec 20, 2018
Setup.hs Initial commit Dec 20, 2018
package.yaml Initial commit Dec 20, 2018
stack.yaml Initial commit Dec 20, 2018

README.md

haskell

See my Logic in Hakell blog post for an adequate README.

The interesting bits are in src/Logic.hs. You can build using stack build.

I personally do stack build ghcid and then make ghcid in a terminal, while keeping that terminal next to my editor.

There's nothing interesting in app/Main.hs nor in running the executable.