GitHub repository: smimram/cccatt
Primary language: OCaml
Description: A type theory for unbiased cartesian closed categories.