Language Features

Did you know that you can prove a theorem with Scala? Starting from the Curry-Howard isomorphism, we can turn logical statements into pure Scala code with only a rudimentary knowledge of Scala. Follow along with the exercise for insights into the patterns the compiler forces you into and how Scala works.