Isn't the simple answer "Microsoft had a later project, Ironclad (2014) which built on that to build some simple applications."?
Chris Hawblitzel worked on both projects.
However, I wonder about your claim "That's an active project at Microsoft". Last publication on that page is from 2015, and last fit commit is from a year ago.
Isn't the simple answer "Microsoft had a later project, Ironclad (2014) which built on that to build some simple applications."?
Chris Hawblitzel worked on both projects.
However, I wonder about your claim "That's an active project at Microsoft". Last publication on that page is from 2015, and last fit commit is from a year ago.