5 ms·
Sounds like Ada. A lot of the time, once you got your code to compile, it would work.
by teach 10mo ago
Sounds like Ada. A lot of the time, once you got your code to compile, it would work.
- kaladin-jasnah 10mo agoWhat about Lean?
loading thread…