Десубстификация и деконгофикация
Oct. 20th, 2015 04:41 pmОчень заманчивая идея о том, как в Agda загнать под капот навязчивые subst и cong.
Пример от автора.
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