Open Issues Need Help
View All on GitHub Closure types are untypeable about 2 months ago
good first issue design
jfecher/ante
2.1K
A safe, easy systems language
Rust
#ante#compiler#language#llvm#refinement-types#systems-language