[runT1ME]

Propositions as Types: 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.