Post

is there any real implementation of full linear (not affine) types that isn't haskell btw? (the haskell implementations has a few... rough edges... that aren't really inherent to linear types so i'm wondering if anyone has made them actually nice to use yet)