Skip to content
/ neon Public

Neon is an experimental programming language with dependent types, implementing Calculus of Constructions (CoC).

Notifications You must be signed in to change notification settings

zielinsky/neon

About

Neon is an experimental programming language with dependent types, implementing Calculus of Constructions (CoC).

Resources

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published

Languages