Предположим, у меня есть следующие правила: unify ('тест', 'это тест'). run: - write ('Введите что-нибудь:'), прочитайте (X), объедините (X, Y), запишите ('Ответ'), напишите (Y). А затем я запускаю ...

Я пытаюсь реализовать функцию унификации с алгоритмом, который указан как унифицировать α α = idSubst унифицировать α β = update (α, β) idSubst unify α (τ1 ⊗ τ2) = if α ∈ vars (τ1 ⊗ τ2) then error »...

У меня есть текст, который может иметь разные стили новой строки. Я хочу заменить все новые строки '\ r \ n', '\ n', '\ r' одинаковыми символами новой строки (в данном случае \ r \ n). Какой самый быстрый способ сделать это? Мой нынешний ...