GitHub repository: lambda-land/OwnershipMonad
Primary language: TeX
Description: Can we realize Rust's ownership model as a monad in Haskell?