Tools: Proof Expression Problem, Reimagined Through Object-oriented Lenses

Why was the 'Hello' afraid to meet 'World'? Because every time they got concatenated, they lost their space!

Why was the 'Hello' afraid to meet 'World'? Because every time they got concatenated, they lost their space!

Why was the 'Hello' afraid to meet 'World'? Because every time they got concatenated, they lost their space!

Why Judgmental Equality Fails Under Defunctionalization

Why was the 'Hello' afraid to meet 'World'? Because every time they got concatenated, they lost their space!

Source: HackerNoon