gallabytes | 10 years ago | on: Relation Between Type Theory, Category Theory and Logic
gallabytes's comments
gallabytes | 11 years ago | on: Becoming Productive in Haskell
How've you liked actually using yi? My only experience with it was rather frustrating.
page 2
What the univalence axiom says is that you can treat types you have proven isomorphic as equal.