You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
depsterr d70a3322c1 enough for today, my head hurts 3 weeks ago
bin I hate grammers 3 weeks ago
lib enough for today, my head hurts 3 weeks ago
test initial commit? 1 month ago
.gitignore initial commit? 1 month ago
README.md completed conversion 3 weeks ago
dune-project initial commit? 1 month ago
implicitt.opam initial commit? 1 month ago

README.md

implicitt

A "proof assistant" with holes and implcit arguments. Developed to learn about elaboration, meta variables and OCaml

TODO

  • Raw syntax

    • Parser (BNFC)
  • Metas

  • Unification

  • Implicit arguments

  • More types

    • Id
    • Tarski Universes (in the core)