|
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.
[Prev in Thread] | Current Thread | [Next in Thread] |