Propositions as Types: https://www.youtube.com/watch?v=IOiZatlZtGU https://www.youtube.com/watch?v=IOiZatlZtGU I think this can really really change how we loo

Propositions as Types: https://www.youtube.com/watch?v=IOiZatlZtGU https://www.youtube.com/watch?v=IOiZatlZtGU I think this can really really change how we look at everyday programming tasks everywhere from the type of tooling we choose to how we approach problems.