You must log in or register to comment.
Interesting! I hadn’t heard of Lean or Roc. But I do find theorem provers / dependent types a fascinating area of correct-by-construction methodology
This was awesome! as a huge FP fan, I hadn’t heard of Roc. It seems pretty amazing. The systems-level FP language. Can we test it against common lisp and haskell also?
