Vadim YaloindevSchachtКаррируй, мой блудный сынПеревод статьи Tom Harding: Curry On Wayward Son. Опубликовано с разрешения автора.May 17, 20175May 17, 20175
Vadim YaloindevSchachtCпецификация волшебного мира 3: SetoidПеревод статьи Tom Harding: Fantas, Eel, and Specification 3: Setoid. Опубликовано с разрешения автора.May 15, 20172May 15, 20172
Vadim YaloindevSchachtФорте ПеаноПеревод статьи Tom Harding: Peano’s Forte. Опубликовано с разрешения автора.May 4, 2017May 4, 2017
Vadim YaloindevSchachtCпецификация волшебного мира 2: Описание типовПеревод статьи Tom Harding: Fantas, Eel, and Specification 2: Type Signatures. Опубликовано с разрешения автора.Apr 27, 2017Apr 27, 2017
Vadim YaloindevSchachtСпецификация Static LandПеревод спецификации Static Land.Apr 19, 20172Apr 19, 20172
Vadim YaloindevSchachtДоказательство и выводыПеревод статьи Tom Harding: Reductio and Abstract ’em. Опубликовано с разрешения автора.Apr 13, 20174Apr 13, 20174
Vadim YaloindevSchachtCпецификация волшебного мира 1: DaggyПеревод статьи Tom Harding: Fantas, Eel, and Specification 1: Daggy. Опубликовано с разрешения автора.Apr 11, 2017Apr 11, 2017
Vadim YaloindevSchachtСпецификация Fantasy Land(aka “Спецификация Алгебраический JavaScript”)Apr 6, 20172Apr 6, 20172
