Hi!

I remember hearing a while back that you guys were in the midst of researching / investigating linear types? Are you guys still doing that? If I have interest in following how that goes where can I look?

I don't think anyone is actively researching it at the moment, but it
also hasn't been officially abandoned as a future line of research.