├── .gitignore ├── README.md ├── arith.sott ├── chain.sott ├── cmd ├── dune └── sott.ml ├── core ├── checker.ml ├── checker.mli ├── context.ml ├── context.mli ├── declarations.ml ├── dune ├── html_gen.ml ├── lexer.mll ├── location.ml ├── location.mli ├── name_supply.ml ├── name_supply.mli ├── parser.mly ├── pprint.ml ├── pprint_error.ml ├── syntax.ml └── syntax.mli ├── dune-project ├── emacs ├── emacs └── sott.el ├── empty.sott ├── html5 ├── dune ├── sig.ml ├── static.ml └── static.mli ├── list.sott ├── non-confusion.sott ├── not-a-type.sott ├── pairs-test.sott ├── projection.sott ├── sott.opam ├── tag.sott ├── test1.5.sott ├── test1.sott ├── test2.sott ├── test3.sott └── uip.sott /.gitignore: -------------------------------------------------------------------------------- 1 | /_build 2 | .merlin 3 | *~ 4 | /_opam 5 | -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bobatkey/sott/HEAD/README.md -------------------------------------------------------------------------------- /arith.sott: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bobatkey/sott/HEAD/arith.sott -------------------------------------------------------------------------------- /chain.sott: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bobatkey/sott/HEAD/chain.sott -------------------------------------------------------------------------------- /cmd/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bobatkey/sott/HEAD/cmd/dune -------------------------------------------------------------------------------- /cmd/sott.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bobatkey/sott/HEAD/cmd/sott.ml -------------------------------------------------------------------------------- /core/checker.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bobatkey/sott/HEAD/core/checker.ml -------------------------------------------------------------------------------- /core/checker.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bobatkey/sott/HEAD/core/checker.mli -------------------------------------------------------------------------------- /core/context.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bobatkey/sott/HEAD/core/context.ml -------------------------------------------------------------------------------- /core/context.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bobatkey/sott/HEAD/core/context.mli -------------------------------------------------------------------------------- /core/declarations.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bobatkey/sott/HEAD/core/declarations.ml -------------------------------------------------------------------------------- /core/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bobatkey/sott/HEAD/core/dune -------------------------------------------------------------------------------- /core/html_gen.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bobatkey/sott/HEAD/core/html_gen.ml -------------------------------------------------------------------------------- /core/lexer.mll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bobatkey/sott/HEAD/core/lexer.mll -------------------------------------------------------------------------------- /core/location.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bobatkey/sott/HEAD/core/location.ml -------------------------------------------------------------------------------- /core/location.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bobatkey/sott/HEAD/core/location.mli -------------------------------------------------------------------------------- /core/name_supply.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bobatkey/sott/HEAD/core/name_supply.ml -------------------------------------------------------------------------------- /core/name_supply.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bobatkey/sott/HEAD/core/name_supply.mli -------------------------------------------------------------------------------- /core/parser.mly: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bobatkey/sott/HEAD/core/parser.mly -------------------------------------------------------------------------------- /core/pprint.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bobatkey/sott/HEAD/core/pprint.ml -------------------------------------------------------------------------------- /core/pprint_error.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bobatkey/sott/HEAD/core/pprint_error.ml -------------------------------------------------------------------------------- /core/syntax.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bobatkey/sott/HEAD/core/syntax.ml -------------------------------------------------------------------------------- /core/syntax.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bobatkey/sott/HEAD/core/syntax.mli -------------------------------------------------------------------------------- /dune-project: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bobatkey/sott/HEAD/dune-project -------------------------------------------------------------------------------- /emacs/emacs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bobatkey/sott/HEAD/emacs/emacs -------------------------------------------------------------------------------- /emacs/sott.el: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bobatkey/sott/HEAD/emacs/sott.el -------------------------------------------------------------------------------- /empty.sott: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bobatkey/sott/HEAD/empty.sott -------------------------------------------------------------------------------- /html5/dune: -------------------------------------------------------------------------------- 1 | (library 2 | (name html5)) -------------------------------------------------------------------------------- /html5/sig.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bobatkey/sott/HEAD/html5/sig.ml -------------------------------------------------------------------------------- /html5/static.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bobatkey/sott/HEAD/html5/static.ml -------------------------------------------------------------------------------- /html5/static.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bobatkey/sott/HEAD/html5/static.mli -------------------------------------------------------------------------------- /list.sott: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bobatkey/sott/HEAD/list.sott -------------------------------------------------------------------------------- /non-confusion.sott: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bobatkey/sott/HEAD/non-confusion.sott -------------------------------------------------------------------------------- /not-a-type.sott: -------------------------------------------------------------------------------- 1 | define test : Zero 2 | as Nat 3 | -------------------------------------------------------------------------------- /pairs-test.sott: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bobatkey/sott/HEAD/pairs-test.sott -------------------------------------------------------------------------------- /projection.sott: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bobatkey/sott/HEAD/projection.sott -------------------------------------------------------------------------------- /sott.opam: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bobatkey/sott/HEAD/sott.opam -------------------------------------------------------------------------------- /tag.sott: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bobatkey/sott/HEAD/tag.sott -------------------------------------------------------------------------------- /test1.5.sott: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bobatkey/sott/HEAD/test1.5.sott -------------------------------------------------------------------------------- /test1.sott: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bobatkey/sott/HEAD/test1.sott -------------------------------------------------------------------------------- /test2.sott: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bobatkey/sott/HEAD/test2.sott -------------------------------------------------------------------------------- /test3.sott: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bobatkey/sott/HEAD/test3.sott -------------------------------------------------------------------------------- /uip.sott: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bobatkey/sott/HEAD/uip.sott --------------------------------------------------------------------------------