search

reaver-project / vapor

Vapor is a language made as a part of the Reaver Project effort. The name has originated as a word play on a word "vaporware" - the author often called this language a "vaporlang", and later decided to keep that name.
Other
5 stars 4 forks source link

Dependent types #29

Open griwes opened 6 years ago

griwes commented 6 years ago

Implement dependent typing usable by the user, and some obvious things that follow, like bounded_int for compile-time known values.

Depends on #28 (and mildly on #25 for "mutability" on bounded integers).