top | item 46210617 (no title) teach | 2 months ago Sounds like Ada. A lot of the time, once you got your code to compile, it would work. discuss order hn newest kaladin-jasnah|2 months ago What about Lean?
kaladin-jasnah|2 months ago