├── .gitignore ├── LICENSE ├── Makefile ├── README.md ├── TeLLer.cabal ├── docs ├── report │ ├── .gitignore │ ├── bibliography.bib │ ├── report.bbl │ └── report.tex └── user-guide │ ├── .gitignore │ └── user-guide.tex ├── examples ├── 000 ├── 001 ├── 002 ├── 003 ├── 004 ├── 005 ├── 006 ├── 007 ├── 008 ├── 009 ├── 010 ├── 011 ├── 012 ├── bt0 ├── bt4 ├── celf2graph │ ├── 000.clf │ ├── LPNMR13-01.clf │ ├── LPNMR13-madamebovary.clf │ └── madamebovary.clf ├── formula1.txt ├── formula2.txt └── named-actions ├── extra ├── celf-2.9.2.zip └── windows7 │ ├── Instructions.txt │ └── celf.bat ├── src ├── Arbitrary.hs ├── Bag.hs ├── CGraph.hs ├── CLI.hs ├── CLINoReadLine.hs ├── CausalityGraph.hs ├── CausalityGraphQueries.hs ├── CelfToGraph.hs ├── CelfToGraphConf.hs ├── CelfToGraphParser.hs ├── Main.hs ├── Parser.hs ├── Printer.hs ├── ProverState.hs ├── ReductionRules.hs ├── Reductions.hs ├── Rewrite.hs ├── RewriteRules.hs ├── Setup.hs ├── Syntax.hs ├── Term.hs ├── UserIO.hs └── Util.hs └── tests ├── Test.hs └── TestRunner.hs /.gitignore: -------------------------------------------------------------------------------- 1 | *.hi 2 | *.o 3 | hugsin 4 | TestRunner 5 | dist 6 | .DS_Store 7 | TAGS 8 | -------------------------------------------------------------------------------- /LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jff/TeLLer/HEAD/LICENSE -------------------------------------------------------------------------------- /Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jff/TeLLer/HEAD/Makefile -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jff/TeLLer/HEAD/README.md -------------------------------------------------------------------------------- /TeLLer.cabal: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jff/TeLLer/HEAD/TeLLer.cabal -------------------------------------------------------------------------------- /docs/report/.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jff/TeLLer/HEAD/docs/report/.gitignore -------------------------------------------------------------------------------- /docs/report/bibliography.bib: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jff/TeLLer/HEAD/docs/report/bibliography.bib -------------------------------------------------------------------------------- /docs/report/report.bbl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jff/TeLLer/HEAD/docs/report/report.bbl -------------------------------------------------------------------------------- /docs/report/report.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jff/TeLLer/HEAD/docs/report/report.tex -------------------------------------------------------------------------------- /docs/user-guide/.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jff/TeLLer/HEAD/docs/user-guide/.gitignore -------------------------------------------------------------------------------- /docs/user-guide/user-guide.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jff/TeLLer/HEAD/docs/user-guide/user-guide.tex -------------------------------------------------------------------------------- /examples/000: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jff/TeLLer/HEAD/examples/000 -------------------------------------------------------------------------------- /examples/001: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jff/TeLLer/HEAD/examples/001 -------------------------------------------------------------------------------- /examples/002: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jff/TeLLer/HEAD/examples/002 -------------------------------------------------------------------------------- /examples/003: -------------------------------------------------------------------------------- 1 | A*C 2 | A-@B 3 | C-@D 4 | -------------------------------------------------------------------------------- /examples/004: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jff/TeLLer/HEAD/examples/004 -------------------------------------------------------------------------------- /examples/005: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jff/TeLLer/HEAD/examples/005 -------------------------------------------------------------------------------- /examples/006: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jff/TeLLer/HEAD/examples/006 -------------------------------------------------------------------------------- /examples/007: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jff/TeLLer/HEAD/examples/007 -------------------------------------------------------------------------------- /examples/008: -------------------------------------------------------------------------------- 1 | A 2 | A-@B*C 3 | B-@D 4 | (D*C)-@E 5 | C-@F 6 | -------------------------------------------------------------------------------- /examples/009: -------------------------------------------------------------------------------- 1 | A 2 | A-@B 3 | B-@C 4 | (C*D)-@E 5 | F 6 | F-@D 7 | -------------------------------------------------------------------------------- /examples/010: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jff/TeLLer/HEAD/examples/010 -------------------------------------------------------------------------------- /examples/011: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jff/TeLLer/HEAD/examples/011 -------------------------------------------------------------------------------- /examples/012: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jff/TeLLer/HEAD/examples/012 -------------------------------------------------------------------------------- /examples/bt0: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jff/TeLLer/HEAD/examples/bt0 -------------------------------------------------------------------------------- /examples/bt4: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jff/TeLLer/HEAD/examples/bt4 -------------------------------------------------------------------------------- /examples/celf2graph/000.clf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jff/TeLLer/HEAD/examples/celf2graph/000.clf -------------------------------------------------------------------------------- /examples/celf2graph/LPNMR13-01.clf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jff/TeLLer/HEAD/examples/celf2graph/LPNMR13-01.clf -------------------------------------------------------------------------------- /examples/celf2graph/LPNMR13-madamebovary.clf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jff/TeLLer/HEAD/examples/celf2graph/LPNMR13-madamebovary.clf -------------------------------------------------------------------------------- /examples/celf2graph/madamebovary.clf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jff/TeLLer/HEAD/examples/celf2graph/madamebovary.clf -------------------------------------------------------------------------------- /examples/formula1.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jff/TeLLer/HEAD/examples/formula1.txt -------------------------------------------------------------------------------- /examples/formula2.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jff/TeLLer/HEAD/examples/formula2.txt -------------------------------------------------------------------------------- /examples/named-actions: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jff/TeLLer/HEAD/examples/named-actions -------------------------------------------------------------------------------- /extra/celf-2.9.2.zip: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jff/TeLLer/HEAD/extra/celf-2.9.2.zip -------------------------------------------------------------------------------- /extra/windows7/Instructions.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jff/TeLLer/HEAD/extra/windows7/Instructions.txt -------------------------------------------------------------------------------- /extra/windows7/celf.bat: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jff/TeLLer/HEAD/extra/windows7/celf.bat -------------------------------------------------------------------------------- /src/Arbitrary.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jff/TeLLer/HEAD/src/Arbitrary.hs -------------------------------------------------------------------------------- /src/Bag.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jff/TeLLer/HEAD/src/Bag.hs -------------------------------------------------------------------------------- /src/CGraph.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jff/TeLLer/HEAD/src/CGraph.hs -------------------------------------------------------------------------------- /src/CLI.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jff/TeLLer/HEAD/src/CLI.hs -------------------------------------------------------------------------------- /src/CLINoReadLine.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jff/TeLLer/HEAD/src/CLINoReadLine.hs -------------------------------------------------------------------------------- /src/CausalityGraph.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jff/TeLLer/HEAD/src/CausalityGraph.hs -------------------------------------------------------------------------------- /src/CausalityGraphQueries.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jff/TeLLer/HEAD/src/CausalityGraphQueries.hs -------------------------------------------------------------------------------- /src/CelfToGraph.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jff/TeLLer/HEAD/src/CelfToGraph.hs -------------------------------------------------------------------------------- /src/CelfToGraphConf.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jff/TeLLer/HEAD/src/CelfToGraphConf.hs -------------------------------------------------------------------------------- /src/CelfToGraphParser.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jff/TeLLer/HEAD/src/CelfToGraphParser.hs -------------------------------------------------------------------------------- /src/Main.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jff/TeLLer/HEAD/src/Main.hs -------------------------------------------------------------------------------- /src/Parser.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jff/TeLLer/HEAD/src/Parser.hs -------------------------------------------------------------------------------- /src/Printer.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jff/TeLLer/HEAD/src/Printer.hs -------------------------------------------------------------------------------- /src/ProverState.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jff/TeLLer/HEAD/src/ProverState.hs -------------------------------------------------------------------------------- /src/ReductionRules.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jff/TeLLer/HEAD/src/ReductionRules.hs -------------------------------------------------------------------------------- /src/Reductions.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jff/TeLLer/HEAD/src/Reductions.hs -------------------------------------------------------------------------------- /src/Rewrite.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jff/TeLLer/HEAD/src/Rewrite.hs -------------------------------------------------------------------------------- /src/RewriteRules.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jff/TeLLer/HEAD/src/RewriteRules.hs -------------------------------------------------------------------------------- /src/Setup.hs: -------------------------------------------------------------------------------- 1 | import Distribution.Simple 2 | main = defaultMain 3 | -------------------------------------------------------------------------------- /src/Syntax.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jff/TeLLer/HEAD/src/Syntax.hs -------------------------------------------------------------------------------- /src/Term.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jff/TeLLer/HEAD/src/Term.hs -------------------------------------------------------------------------------- /src/UserIO.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jff/TeLLer/HEAD/src/UserIO.hs -------------------------------------------------------------------------------- /src/Util.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jff/TeLLer/HEAD/src/Util.hs -------------------------------------------------------------------------------- /tests/Test.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jff/TeLLer/HEAD/tests/Test.hs -------------------------------------------------------------------------------- /tests/TestRunner.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jff/TeLLer/HEAD/tests/TestRunner.hs --------------------------------------------------------------------------------