Skip to content

owo-lang/voile-rs

Error
Looks like something went wrong!

About

Dependently-typed row-polymorphic programming language, evolved from minitt-rs

Topics

programming-language dependent-types type-theory extensible

Resources

Readme

License

Apache-2.0 license
Activity
Custom properties

Stars

97 stars

Watchers

11 watching

Forks

5 forks
Report repository

Releases 10

0.2.4 Latest
Oct 23, 2019
+ 9 releases

Packages

No packages published

Contributors 5

Languages