search

vikraman / 2DTypes

Collaborative work on reversible computing
17 stars 1 forks source link

Prove quote-eval²₀ #85

Open inexxt opened 3 years ago

vikraman commented 3 years ago

Tensor Categories book, page 6, prop 1.2.1