dreamtt icon indicating copy to clipboard operation
dreamtt copied to clipboard

Published 20 hours ago • verified publisher icon jonsterling
→

Metadata

A pedagogic implementation of abstract bidirectional elaboration for dependent type theory.

dreamtt

A pedagogic implementation of abstract bidirectional elaboration for dependent type theory.

← Metadata

80
Stars
3
Forks
Watchers

Owner

verified publisher icon jonsterling

Metadata

A pedagogic implementation of abstract bidirectional elaboration for dependent type theory.

Back