Technologist based in Toronto.
CTO at Official Community.
©2017 Vlad Kosarev
Read at https://olleharstedt.github.io/fstar/2017/01/12/typestate-in-fstar.html