0
comment
comment
on 9/29/2014 8:20 AM
I find it kindof fun to play with lambda calculus from time to time. Recently I had another go at the church numerals and the goal of my little kata was get a nice type-representation for them: Have something lie … Weiterlesen →