Tools: Researchers Revisit Codata, Dependent Types, And The Limits Of The...

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!

Rethinking Data and Codata Through Matrix Transposition

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

Source: HackerNoon