furqan
A programming language type-checker enforcing structural honesty (Phase 2 prototype).
Activity
- Latest release
- 4mo ago
- Total releases
- 2
- Cadence
- ~daily
- Last 12 months
- 2
Details
- License
- Apache-2.0
- First release
- May 02, 2026
A programming language type-checker enforcing structural honesty (Phase 2 prototype).