Closed paurkedal closed 8 years ago
This adds [%sig: ...] and [%sigi: ...] (issue #32) and extends the [%%s ...] antiquotation of #42 to signatures.
[%sig: ...]
[%sigi: ...]
[%%s ...]
Note that I based this on #42. Let me know if you want this PR without the antiquotation part.
Thanks!
This adds
[%sig: ...]
and[%sigi: ...]
(issue #32) and extends the[%%s ...]
antiquotation of #42 to signatures.Note that I based this on #42. Let me know if you want this PR without the antiquotation part.