An (extremely experimental!) proof-of-concept of using linear types to do atomic reference counting with safe (COW-style) interior mutability in Haskell
NOTE: This library is in an extremely early stage of development.
About
An (extremely experimental!) proof-of-concept of using linear types to do atomic reference counting with safe (COW-style) interior mutability in Haskell