3 ms·

Mathieu Boespflug is from what I understand working on bringing linear types to ghc: https://ghc.haskell.org/trac/ghc/wiki/LinearTypes https://ghc.haskell.org/t

by cm3 10y ago

Mathieu Boespflug is from what I understand working on bringing linear types to ghc: https://ghc.haskell.org/trac/ghc/wiki/LinearTypes https://ghc.haskell.org/trac/ghc/wiki/LinearTypes and https://redd.it/50nkbo https://redd.it/50nkbo