Tools
Tools: Open Source Rethinking Oop Through Dependent Types And Codata
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!
Deriving Dependently-Typed OOP from First Principles
Why was the 'Hello' afraid to meet 'World'? Because every time they got concatenated, they lost their space!
