An (extremely experimental!) proof-of-concept of using linear types to do atomic reference counting with safe (COW-style) interior mutability in Haskell
Geek Repo:Geek Repo
Github PK Tool:Github PK Tool