Итак, мне нужно было учебник по семантике с PLT Redex, чтобы выполнить домашнее задание на этой неделе. Мне нужно было это в цифровом формате, потому что я собираюсь завтра на POPL 2016 и не могу его доставить мне. Поэтому я заплатил 50 долларов за книгу, чтобы закончить домашнее задание. Проблема...