leastfixedpoint

Archived tweet #4825 from the @leastfixedpoint Twitter Archive
@reiddraper You're comfortable with Curry-Howard? Intuitionistic : lambda-calculus :: Classical : lambda with call/cc