why-dependent-types-matter icon indicating copy to clipboard operation
why-dependent-types-matter copied to clipboard

Published 20 hours ago • verified publisher icon jstolarek
→

Metadata

Companion code for "Why Dependent Types Matter" paper.

Results 0 why-dependent-types-matter issues
Sort by recently updated
recently updated
newest added

← Metadata

60
Stars
4
Forks
Watchers

Owner

verified publisher icon jstolarek

Metadata

Companion code for "Why Dependent Types Matter" paper.

Back