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