Johannes BaderOne-point bases for λ-calculusThe Iota combinator and some alternativesDec 21, 20202Dec 21, 20202
Johannes BaderOne-point bases for λ-calculusThe Iota combinator and some alternativesDec 21, 20202Dec 21, 20202
Johannes BaderEverything is a MonadUniting various programming concepts by tracking down the pattern behind the messFeb 1, 20181Feb 1, 20181