├── LICENSE ├── README.md ├── Setup.hs ├── TODO.md ├── provability.cabal ├── src ├── NatSet.hs └── Provability.hs ├── stack.yaml └── test └── test.hs /LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dpiponi/provability/HEAD/LICENSE -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dpiponi/provability/HEAD/README.md -------------------------------------------------------------------------------- /Setup.hs: -------------------------------------------------------------------------------- 1 | import Distribution.Simple 2 | main = defaultMain 3 | -------------------------------------------------------------------------------- /TODO.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dpiponi/provability/HEAD/TODO.md -------------------------------------------------------------------------------- /provability.cabal: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dpiponi/provability/HEAD/provability.cabal -------------------------------------------------------------------------------- /src/NatSet.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dpiponi/provability/HEAD/src/NatSet.hs -------------------------------------------------------------------------------- /src/Provability.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dpiponi/provability/HEAD/src/Provability.hs -------------------------------------------------------------------------------- /stack.yaml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dpiponi/provability/HEAD/stack.yaml -------------------------------------------------------------------------------- /test/test.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dpiponi/provability/HEAD/test/test.hs --------------------------------------------------------------------------------