undefined | Better HN

0 pointsteach3mo ago0 comments

Sounds like Ada. A lot of the time, once you got your code to compile, it would work.

0 comments

What about Lean?

j / k navigate · click thread line to collapse

0 pointsteach3mo ago0 comments

Sounds like Ada. A lot of the time, once you got your code to compile, it would work.

What about Lean?

j / k navigate · click thread line to collapse