ericfinster / catt.io

Revised Omega-categorical Typechecker

ericfinster/catt.io Issues

Inference ignores invalid variables
Closed a year ago1
CylinderTypes branch: Unification does not seem to respect normalisation
Closed 3 years ago1
Gordon, Power, and Street's weak equivalence between Gray-categories and tricategories?
Updated 3 years ago1
Basic documentation
Updated 4 years ago2
use modules for monads
Updated 4 years ago
Too many free variables for terms?
Closed 4 years ago1
Ambiguity in definition of identities
Closed 4 years ago4
PPX extension
Closed 4 years ago2
Load .catt files within .catt files
Closed 4 years ago1
Editor support?
Closed 4 years ago1
Tab depth
Closed 5 years ago1
Add functionality to identify the locally maximal variables of a pasting context
Closed 5 years ago
Test for equality
Closed 5 years ago2
EOF
Updated 5 years ago2