[brabel]

Yeah the author always uses this in his blog about his language, Vale (which is very unfortunately not being developed anymore, at least for now). The other posts are also worth a read: https://vale.dev/

[ivell]

He now works on Mojo, to bring linear types into Mojo.