Немножко про всякие равенства
Feb. 15th, 2013 11:10 pmВ современной теории типов выделяют два основных класса равенств: Definitional equality и Propositional equality.
Profile
deniok
Page Summary
Style Credit
- Style: Cloudy Days for Ciel by
![[personal profile]](https://www.dreamwidth.org/img/silk/identity/user.png)
carisma_sensei
Expand Cut Tags
No cut tags