ptt icon indicating copy to clipboard operation
ptt copied to clipboard

Published 20 hours ago • verified publisher icon ecavallo
→

Metadata

Experimental type-checker for internally parametric type theory

← Metadata

29
Stars
0
Forks
Watchers

Owner

verified publisher icon ecavallo

Metadata

Experimental type-checker for internally parametric type theory

Back