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

A simple dependent typechecker

Translated from How to Implement Dependent Type Theory I, which is in OCaml.

← Metadata

37
Stars
1
Forks
Watchers

Owner

verified publisher icon evertedsphere

Metadata

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

Back