Dminor
Before we gave “M” an official external codename, we called it “D” internally.
Back in the “D” days, our team started working with MSR on a number things related to the language.
We recently released some of that work on the MSR site: Dminor.
Dminor is a data-modeling language based on M, the data-modeling language of Microsoft Oslo. Dminor provides extended compile-time checking of code, making use of an SMT (Satisfiability Modulo Theories) solver.
You can read more about it at http://whigmaleerie.spaces.live.com/blog/cns!C6149B019D236BF5!846.entry.
You can download it at http://research.microsoft.com/en-us/downloads/cd60cdb0-353f-48b3-81d7-177621eba1bf/default.aspx.
Congrats to Andy and company…