сюда -> https://github.com/8084/haskell-holes-th/tree/rewrite и теперь хочется кодогенерацию без излишеств. Алгоритм, который я использую, порождает термы, которые сложно прочесть из-за лишних b-редексов.
это ты что-то типа джина хочешь сделать?
Обсуждают сегодня