Dminor ってなに？

• Dminor (Douglas Purdy)
• Announcing Dminor 0.1: Semantic Subtyping with an SMT Solver (A Toosht o Whigmaleeries)

…… Dminor って何ですか！？
ちょっと詳細を追っかけている時間がない（ 1/30 のセッション資料作成で手一杯）のですが、モデリング言語ってことで無視はできなそうですね。
むぅ。また調べなきゃいけない事が増えてる。。。