Robuta

https://pursuit.purescript.org/packages/purescript-substructural/0.0.19/docs/Data.Function.Sub Data.Function.Sub - purescript-substructural - Pursuit data function sub purescript pursuit https://portal.mardi4nfdi.de/wiki/Publication:2426733 Proper semantics for substructural logics, from a stalker theoretic point of view - MaRDI portal point of view proper semantics substructural logics