Hacker News
new
|
past
|
comments
|
ask
|
show
|
jobs
|
submit
login
eigenket
10 months ago
|
parent
|
context
|
favorite
| on:
Linear Algebra of Types (2019)
I guess? I mean they linked to the wiki page which mentions both versions and explicitly says they're isomorphic.
They could mention it explicitly in the blog as well but its clearly not the focus of this post.
Consider applying for YC's Spring batch! Applications are open till Feb 11.
Guidelines
|
FAQ
|
Lists
|
API
|
Security
|
Legal
|
Apply to YC
|
Contact
Search:
They could mention it explicitly in the blog as well but its clearly not the focus of this post.