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.