/dot

formalization of the Dependent Object Types (DOT) calculus

No issues in this repository yet.