On Ada's Dependent Types, and its Types as a Whole (via dzwdz) — discussion

#plt #programming