Skip to content
/ vega Public

A dependently typed programming language with direct style effects and linearity

License

Notifications You must be signed in to change notification settings

Innf107/vega

Repository files navigation

vega

About

A dependently typed programming language with direct style effects and linearity

Resources

License

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published