Over The Type explores the confines of OCaml's powerful type system with a logician mind influenced by dependently-typed programming languages and proof assistants.
It is a work in progress so expect more soon!
Over The Type's development does not involve any large language model.
