Re: define-typed: checking values on proc entry and exit
"Dr. Arne Babenhauserheide" <[email protected]>
| Newsgroups | gmane.lisp.guile.user |
|---|---|
| Message-ID | <[email protected]> |
Olivier Dion <[email protected]> writes: > On Fri, 10 May 2024, "Dr. Arne Babenhauserheide" <[email protected]> wrote: > > This is entirely off topic, sorry, but how do you do the following in Emacs: > >> ┌──── >> │ ... >> └──── > > I usualy use: > > --8<---------------cut here---------------start------------->8--- > ... > --8<---------------cut here---------------end--------------->8--- > > but I found your format to be easier to read. I wrote that code example in org-mode and used export to text ⇒ unicode. That came naturally, because it’s how I write my website: https://www.draketo.de/software/guile-snippets#define-typed source: https://hg.sr.ht/~arnebab/draketo/browse/software/guile-snippets.org#L394 Best wishes, Arne
signature.asc
(application/pgp-signature, 1.1 KB)
-----BEGIN PGP SIGNATURE----- iQJEBAEBCAAuFiEE801qEjXQSQPNItXAE++NRSQDw+sFAmZCuxcQHGFybmVfYmFi QHdlYi5kZQAKCRAT741FJAPD61GJD/4wPOZsBOkDbAh8erdhXSv5RX6V9LAx2jjt CNaeF807bKEHKNRBAIBFhaxkHTMddyCJHB1ir812D5JCZAoP/lg9zIQsHPr2ap2r f4OKxVhV99eNz+8zx/SE2bhGugKPehuwMHn2VD31tT4Ad065evmPGvw4+p+5haNO XnPLdzYQQ3NdedaujJhOdb7F1FwLyhK/gG/hSEbrkV+xCaRAqKawMSt4IFogQiAq SC2M9+pUPe6VVvNS2p2fmo5rVoJRfJqpMS8xrZ3B2ujgXAvYbvOZCkTI7P/MT7Gx yuXl49yrD7vayrRbFCFgl9sJOhj0zPk7tAXpeaucpuYpbn/uLvWEhPntxOyNmQE1 2TYdMFExbME+mse5j6Xu36/aCuWckuwqBzGXPIQ3NkwE3LFLwNnvtiSp1zb/DyJz g9DglrHGt5jaTqJjd6fFhD1WaAedc7RGwUxxp4ywDYYpDlyEAO/E2hcl1KIhhijV s6AlDINj9ts5/fj0EmsarE3NZe9KzxFAe53CA6FPrLMhZJNi++UVr9uVrb0JjS4w z05NmwgOL6kC8lQtzWm67GGpTEiqTpkapaSC0GUC9YR62NjM9i6DtKF07y+7ttFh wcXDPeWUmQ2oqh6cpd7intG0Fkz60mvrmtNj7Rmz0FkpAQAMYYPC6N2j59GXy/vk RpxK6wrHkojEBAEBCAAuFiEE3Si95tmHXKvOSosd3M8NswvBBUgFAmZCuxcQHGFy bmVfYmFiQHdlYi5kZQAKCRDczw2zC8EFSO1TA/wNOBKOMX9Zvu+n7gR71YBlk2Gs NICR6Nkv7URJ584AQkLQavk16zjLuVj5mbfzRgHdxfOT5Nsf5Xp1gvGcGPgjhHyq szJBW+gqQFBMVeMS7zTqL19Ac56G85HHJ6BCx8OOR5NvM6MbLXHb2hhP43fd+PZW W2aqSt8omAJz3lMhcA== =6Pzu -----END PGP SIGNATURE-----