Array Languages Still Have a Long Way to Gokaremsamad.com 3 pointsHarmohit2 years ago1 commentSaveHideCopy link On HNComments−HarmohitOP2yThe exploration of type theory in this blog post is quite interesting
Comments
The exploration of type theory in this blog post is quite interesting