search

evertedsphere / shorshe

freshly-fermented, dependently-typed mustard, with a substructural aftertaste
30 stars 0 forks source link

Tracking: substructurality, linearity, ownership #3

Open mrkgnao opened 4 years ago