Open Issues Need Help
View All on GitHub fix typo in `.github/README.md` 6 days ago
help wanted good first issue
a programming language based on type-theory and invariants with minimal assumptions
Rust
a programming language based on type-theory and invariants with minimal assumptions
1 Open Issue Need Help
Last updated: Sep 13, 2026