Homotopy Type Theory
decidable setoid > history
Redirected from "generic judgement".