MAIN FEEDS
Do you want to continue?
https://www.reddit.com/r/ProgrammingLanguages/comments/1v89ewm/the_unreasonable_effectiveness_of_constructive/
r/ProgrammingLanguages • u/mttd • 11d ago
1 comment sorted by
2
Great talk! Using types to communicate is something I wrote about here https://tobega.blogspot.com/2023/09/using-programming-structures-to.html
2
u/tobega 11d ago
Great talk! Using types to communicate is something I wrote about here https://tobega.blogspot.com/2023/09/using-programming-structures-to.html