← Back to context Comment by teach 13 hours 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 7 hours ago What about Lean?
What about Lean?