Comment Comment by galaxyLogic "Lean" sounds awesome.You can only write programs that will halt in it.https://leanprover.github.io/about/ parent galaxyLogic 3 years ago
You can only write programs that will halt in it.
https://leanprover.github.io/about/