├── .gitignore ├── README.md ├── dune ├── dune-project ├── dynamics.ml ├── dynamics.mli ├── examples ├── F.pure ├── Fw+.pure ├── Fw.pure ├── U.pure ├── coc-unicode.pure ├── coc.pure ├── empty.pure └── stlc.pure ├── lang_parser.ml ├── lang_parser.mli ├── lib └── combi │ ├── dune │ ├── parser.ml │ └── parser.mli ├── prim_parser.ml ├── prim_parser.mli ├── pure.ml ├── pure.mli ├── repl.ml ├── statics.ml └── statics.mli /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mmcqd/pure/HEAD/.gitignore -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mmcqd/pure/HEAD/README.md -------------------------------------------------------------------------------- /dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mmcqd/pure/HEAD/dune -------------------------------------------------------------------------------- /dune-project: -------------------------------------------------------------------------------- 1 | (lang dune 2.5) 2 | -------------------------------------------------------------------------------- /dynamics.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mmcqd/pure/HEAD/dynamics.ml -------------------------------------------------------------------------------- /dynamics.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mmcqd/pure/HEAD/dynamics.mli -------------------------------------------------------------------------------- /examples/F.pure: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mmcqd/pure/HEAD/examples/F.pure -------------------------------------------------------------------------------- /examples/Fw+.pure: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mmcqd/pure/HEAD/examples/Fw+.pure -------------------------------------------------------------------------------- /examples/Fw.pure: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mmcqd/pure/HEAD/examples/Fw.pure -------------------------------------------------------------------------------- /examples/U.pure: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mmcqd/pure/HEAD/examples/U.pure -------------------------------------------------------------------------------- /examples/coc-unicode.pure: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mmcqd/pure/HEAD/examples/coc-unicode.pure -------------------------------------------------------------------------------- /examples/coc.pure: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mmcqd/pure/HEAD/examples/coc.pure -------------------------------------------------------------------------------- /examples/empty.pure: -------------------------------------------------------------------------------- 1 | %SORTS 2 | %AXIOMS 3 | %RULES 4 | -------------------------------------------------------------------------------- /examples/stlc.pure: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mmcqd/pure/HEAD/examples/stlc.pure -------------------------------------------------------------------------------- /lang_parser.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mmcqd/pure/HEAD/lang_parser.ml -------------------------------------------------------------------------------- /lang_parser.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mmcqd/pure/HEAD/lang_parser.mli -------------------------------------------------------------------------------- /lib/combi/dune: -------------------------------------------------------------------------------- 1 | (library 2 | (name COMBI)) 3 | -------------------------------------------------------------------------------- /lib/combi/parser.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mmcqd/pure/HEAD/lib/combi/parser.ml -------------------------------------------------------------------------------- /lib/combi/parser.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mmcqd/pure/HEAD/lib/combi/parser.mli -------------------------------------------------------------------------------- /prim_parser.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mmcqd/pure/HEAD/prim_parser.ml -------------------------------------------------------------------------------- /prim_parser.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mmcqd/pure/HEAD/prim_parser.mli -------------------------------------------------------------------------------- /pure.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mmcqd/pure/HEAD/pure.ml -------------------------------------------------------------------------------- /pure.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mmcqd/pure/HEAD/pure.mli -------------------------------------------------------------------------------- /repl.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mmcqd/pure/HEAD/repl.ml -------------------------------------------------------------------------------- /statics.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mmcqd/pure/HEAD/statics.ml -------------------------------------------------------------------------------- /statics.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mmcqd/pure/HEAD/statics.mli --------------------------------------------------------------------------------