how-to-implement-dependent-type-theory icon indicating copy to clipboard operation
how-to-implement-dependent-type-theory copied to clipboard

verified publisher icon evertedsphere
→

Metadata

A tiny dependent typechecker in Haskell, translated from @andrejbauer's OCaml

Results 0 how-to-implement-dependent-type-theory issues
Sort by recently updated
recently updated
newest added

← Metadata

37
Stars
1
Forks
Watchers

Owner

verified publisher icon evertedsphere

Metadata

A tiny dependent typechecker in Haskell, translated from @andrejbauer's OCaml

Back