Re: Escape syntax in docstrings

[Philip Kaludercic]

Mattias Engdegård <mattias.engdegard@gmail.com> writes:

>> (defun agda-input-compose (f g)
>>  "\x -> concatMap F (G x)"
>
> Good catch. Would you tell the Agdas about it?

Agda has already been informed, but it is bad documentation string to
begin with.