calculus-of-constructions icon indicating copy to clipboard operation
calculus-of-constructions copied to clipboard

Published 20 hours ago • verified publisher icon VictorTaelin
→

Metadata

Minimal, fast, robust implementation of the Calculus of Constructions on JavaScript.

Results 1 calculus-of-constructions issues
Sort by recently updated
recently updated
newest added

Lazy evaluation prevents typechecking

The expression `(a:(.* *) (:(.* a) a))` can be normalized and typed without errors. The type is inferred as `(a.(.* *) (.(.* a) (.* *)))`. However, when inferring the type...

vincent-163 avatar vincent-163

← Metadata

92
Stars
11
Forks
Watchers

Owner

verified publisher icon VictorTaelin

Metadata

Minimal, fast, robust implementation of the Calculus of Constructions on JavaScript.

Back