emacs-devel
[Top][All Lists]
Advanced

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: Escape syntax in docstrings


From: Philip Kaludercic
Subject: Re: Escape syntax in docstrings
Date: Fri, 24 Mar 2023 21:17:55 +0000

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.



reply via email to

[Prev in Thread] Current Thread [Next in Thread]