Linear types are going to be more complex than I thought they would. :)
Conversation
Are you implementing them yourself?
2
Oh, no, I was referring to the GHC proposal
github.com/ghc-proposals/
1
Ahhhright! Yes it is indepth. Probs lots of trickiness integrating into an existing language.