foveran icon indicating copy to clipboard operation
foveran copied to clipboard

Published 20 hours ago • verified publisher icon bobatkey
→

Metadata

A Dependently Typed Programming Language

Foveran

A dependently typed programming language.

Known Bugs

  • Level checking of equalities is slightly broken, in some cases

← Metadata

27
Stars
1
Forks
Watchers

Owner

verified publisher icon bobatkey

Metadata

A Dependently Typed Programming Language

Back