Linking Smaller Haskell Binaries (2023)

The Gift on Inconsistency: On the lambda calculus and Turing-completeness