linear-smc. Linear Types, Symmetric Monoidal Categories, and Tensors

github.com/jyp/linear-smc

Problem

Audience

Updates

No founder updates yet. Check back soon.