|
Unicode lambda
Lassi Kortela
(12 May 2019 10:19 UTC)
|
|
Re: Unicode lambda
Shiro Kawai
(12 May 2019 11:18 UTC)
|
|
Re: Unicode lambda
Lassi Kortela
(12 May 2019 11:40 UTC)
|
|
Re: Unicode lambda
Lassi Kortela
(12 May 2019 11:50 UTC)
|
|
Re: Unicode lambda
Shiro Kawai
(12 May 2019 12:06 UTC)
|
|
Re: Unicode lambda
Marc Nieper-Wißkirchen
(12 May 2019 12:11 UTC)
|
|
Re: Unicode lambda
Lassi Kortela
(12 May 2019 12:23 UTC)
|
|
Re: Unicode lambda
Lassi Kortela
(12 May 2019 13:23 UTC)
|
|
Re: Unicode lambda
Lassi Kortela
(12 May 2019 13:46 UTC)
|
|
Re: Unicode lambda
John Cowan
(12 May 2019 14:20 UTC)
|
|
Re: Unicode lambda
Lassi Kortela
(12 May 2019 14:38 UTC)
|
|
Re: Unicode lambda
Lassi Kortela
(12 May 2019 14:55 UTC)
|
|
Re: Unicode lambda
John Cowan
(12 May 2019 15:00 UTC)
|
|
Re: Unicode lambda
Lassi Kortela
(12 May 2019 15:20 UTC)
|
|
Re: Unicode lambda
Shiro Kawai
(12 May 2019 18:42 UTC)
|
|
Re: Unicode lambda
Lassi Kortela
(12 May 2019 19:43 UTC)
|
|
Re: Unicode lambda
John Cowan
(12 May 2019 22:29 UTC)
|
|
Re: Unicode lambda
Shiro Kawai
(13 May 2019 10:48 UTC)
|
|
Re: Unicode lambda
Lassi Kortela
(14 May 2019 08:25 UTC)
|
|
Re: Unicode lambda
Marc Nieper-Wißkirchen
(14 May 2019 08:50 UTC)
|
|
Re: Unicode lambda
Lassi Kortela
(14 May 2019 10:10 UTC)
|
|
Re: Unicode lambda
Lassi Kortela
(14 May 2019 10:59 UTC)
|
|
Re: Unicode lambda
Lassi Kortela
(14 May 2019 12:35 UTC)
|
|
Re: Unicode lambda
Lassi Kortela
(14 May 2019 13:09 UTC)
|
|
Re: Unicode lambda
Lassi Kortela
(14 May 2019 14:04 UTC)
|
|
Re: Unicode lambda
Shiro Kawai
(14 May 2019 19:18 UTC)
|
|
Re: Unicode lambda
Vincent Manis
(14 May 2019 22:01 UTC)
|
|
Re: Unicode lambda
Lassi Kortela
(20 May 2019 09:21 UTC)
|
|
Re: Unicode lambda
Marc Nieper-Wißkirchen
(21 Oct 2019 14:20 UTC)
|
|
Re: Unicode lambda
Shiro Kawai
(21 Oct 2019 17:19 UTC)
|
|
Re: Unicode lambda
John Cowan
(21 Oct 2019 17:39 UTC)
|
|
Re: Unicode lambda
Marc Nieper-Wißkirchen
(21 Oct 2019 18:43 UTC)
|
|
Re: Unicode lambda
John Cowan
(21 Oct 2019 23:27 UTC)
|
|
Encoding declarations
Lassi Kortela
(22 Oct 2019 08:39 UTC)
|
|
Re: Encoding declarations
John Cowan
(22 Oct 2019 20:52 UTC)
|
|
#! directives, general and specific
Lassi Kortela
(22 Oct 2019 09:11 UTC)
|
|
Re: #! directives, general and specific
John Cowan
(22 Oct 2019 20:27 UTC)
|
|
Re: #! directives, general and specific
Lassi Kortela
(22 Oct 2019 20:43 UTC)
|
|
Re: Unicode lambda
Marc Nieper-Wißkirchen
(13 May 2019 08:50 UTC)
|
|
Re: Unicode lambda
Lassi Kortela
(13 May 2019 10:27 UTC)
|
|
Re: Unicode lambda
Per Bothner
(12 May 2019 14:17 UTC)
|
|
Re: Unicode lambda Peter (12 May 2019 15:06 UTC)
|
As an alternative, may I suggest just using an editor that deals with this when displaying the text? Emacs at least can easily do this (and many other such transformations), without the need to change the source language. Personally, I don't think display issues such as this should be dealt with on a language level (I'm not a fan of #t <-> #true either, as you can imagine ;) Greetings, Peter
