Entry tags:

agda

Десубстификация и деконгофикация

Очень заманчивая идея о том, как в Agda загнать под капот навязчивые subst и cong. Пример от автора.

Post a comment in response:

From:

Anonymous This account has disabled anonymous posting.

OpenID

Dreamwidth account

If you don't have an account you can create one now.

Subject

Formatting type

Message