Koru
Learn
Platform
Status
Blog
Learn
/
CORE LANGUAGE / TYPE SYSTEM
core language / type system
✓ 3 passing
○ 1 planned
Lessons
1
✓ Passing
102 float type
2
✓ Passing
103 bool type
3
✓ Passing
142 nominal in pipeline
4
○ Planned
143 signed runtime division
— OWED: signed runtime `/` emits Zig `@divTrunc` (or equivalent), not bare `/`.