You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
What do you mean by this? Chapter 1 and Appendix B.1 already give pattern matching presentations of elimination, unlike the ordinary type theoretic approach of eliminators (which I am writing in Appendix B.2).
Indeed, but nowhere did we discuss the relationship! Since there are subtleties here to be aware of, I thought it worth adding a section to chapter 1. 6263fc0
No description provided.
The text was updated successfully, but these errors were encountered: