Proof in FunctionsSwift’s generic functions allow us to explore a beautiful idea that straddles the line between mathematics and computer science#brandon-williams#propositional-logic·fewbutripe.com·Sep 4, 2019Proof in Functions