bravit/idris-cs-hse

Лекция 2, опечатка в слайде.

Opened this issue · 0 comments

vasiliyl commented

В 19-м слайде после квантора существования пропущен x.