|
|
|
|
|
|
by throwaway17_17
1426 days ago
|
|
|
This article is intriguing, I liked the playful tone, particularly in light of the subject. I’m hoping the talk gets streamed to YouTube. This also makes me interested in the formalization attempts I have heard are ongoing for TS’s type system. Anyone with good paper/videos on that development feel free to drop a link. |
|
|
The link in the post goes to a GitHub repo.