| ▲ | teach 14 hours ago | |
Sounds like Ada. A lot of the time, once you got your code to compile, it would work. | ||
| ▲ | kaladin-jasnah 8 hours ago | parent [-] | |
What about Lean? | ||
| ▲ | teach 14 hours ago | |
Sounds like Ada. A lot of the time, once you got your code to compile, it would work. | ||
| ▲ | kaladin-jasnah 8 hours ago | parent [-] | |
What about Lean? | ||