Issues
- 1
Inference ignores invalid variables
#24 opened by regular-citizen - 1
- 1
Gordon, Power, and Street's weak equivalence between Gray-categories and tricategories?
#15 opened by eternaleye - 2
Basic documentation
#14 opened by lukaszlew - 0
use modules for monads
#13 opened by alexarice - 1
Too many free variables for terms?
#11 opened by alexarice - 4
Ambiguity in definition of identities
#9 opened by alexarice - 2
PPX extension
#6 opened by jamievicary - 1
Load .catt files within .catt files
#3 opened by jamievicary - 1
Editor support?
#7 opened by alexarice - 1
Tab depth
#4 opened by jamievicary - 0
Add functionality to identify the locally maximal variables of a pasting context
#5 opened by jamievicary - 2
Test for equality
#2 opened by jamievicary - 2
EOF
#1 opened by jamievicary