removed crud
This commit is contained in:
parent
32efcfa941
commit
98d7fde7cb
1 changed files with 0 additions and 2 deletions
|
@ -11,5 +11,3 @@ escape =
|
|||
(replace "\t" "\\t") .
|
||||
(replace "\"" "\\\"") .
|
||||
(replace "\\" "\\\\")
|
||||
|
||||
-- (a -> t) -> a -> b -> c -> (t -> t -> t -> z) -> z
|
||||
|
|
Loading…
Reference in a new issue