(no subject)

[jcreed]

Had some somewhat rambly thoughts on representing market-making in substructural logics, wrote them up here.