Comment by teach 2 months ago Sounds like Ada. A lot of the time, once you got your code to compile, it would work. 1 comment teach Reply kaladin-jasnah 2 months ago What about Lean?
What about Lean?