4 ms·
There is active work being done currently to add set-theoretic types to the core language. https://www.youtube.com/watch?v=gJJH7a2J9O8 https://www.youtube.com/w
by regulation_d 3y ago
There is active work being done currently to add set-theoretic types to the core language. https://www.youtube.com/watch?v=gJJH7a2J9O8 https://www.youtube.com/watch?v=gJJH7a2J9O8
- xwowsersx 3y agoOh wow I wasn't aware. Thanks for the link!