~lane/bltt-theory

This is a repository for tracking theoretical issues in Braided Linear Type Theory

Register here or Log in to submit tickets, or submit via email.
#1
Meta
6 months ago
~lane
0 comments