Rare find

dot. formalization of the Dependent Object Types (DOT) calculus

github.com/namin/dot

by

@namin

Problem

Audience

Keep exploring

Updates

No founder updates yet. Check back soon.