Interesting read - <https://golem.ph.utexas.edu/ca...
# linking-togethers
Shubhadeep Roychowdhury
02/20/2021, 1:26 PMInteresting read - https://golem.ph.utexas.edu/category/2021/02/native_type_theory.html
w
wtaysom
02/21/2021, 3:21 AMNew programming language work from Baez and Stay? How am I supposed to get work-work done with this kind of treat ripe for the picking...