Juan-Carlos Gandhi (![[personal profile]](https://www.dreamwidth.org/img/silk/identity/user.png)
juan_gandhi) wrote2015-10-09 03:55 pm
juan_gandhi) wrote2015-10-09 03:55 pm
intensional equality explained in plain c
https://www.cs.princeton.edu/~appel/papers/conteq.pdf
(That's what I was talking about when I was talking about the difference between
Big thanks to![[livejournal.com profile]](https://www.dreamwidth.org/img/external/lj-userinfo.gif)
thedeemon, see http://thedeemon.livejournal.com/104205.html
(That's what I was talking about when I was talking about the difference between
AB, the 'type of all functions', where equality, if given, is extensional, and Hom(A,B), where equality is intensional, they are just arrows in a certain category, and, for practical purposes, are identifiable library functions (or their combinations in expressions).Big thanks to
thedeemon, see http://thedeemon.livejournal.com/104205.html