Defunctionalization and Freyd’s Theorem
Defunctionalization and Freyd’s Theorem
Aug 5, 2020, 10:31am UTC
https://bartoszmilewski.com/2020/08/03/defunctionalization-and-freyds-theorem/