Эквивалентность типов
Пятница, 16 октября 2015
Таймс, ауд. 404
Эквивалентность по Лейбницу. Представление лейбницевской эквивалентности типов в терминах Haskell. Простейшие тактики
для доказательства эквивалентности.