DOOM на TypeScript-типах

Запуск классической игры на вычислительной модели системы типов

Материалы по этому хабу появятся после индексации.