On Fri, 2016-10-07 at 11:00 -0700, Ingo W. wrote: > I prefer the unicode characters. > I've modified the keyboard in such a way that I can type them > directly. > The possible codes are listed > here: https://github.com/Frege/frege/wiki/GHC-Language-Options-vs.-Fr > ege > (section Unicode Syntax)
I'll start using them as I can and see how I react to it after a while. Whilst I like the idea of single Unicode code points for every semantic symbol so as to avoid spelling errors (I suffer this a lot with <-) functional names are always character sequences (though they wouldn't be if SOE and AST editors had won the day in the 1980s – there is a revival of this given the insanity that is IDEs working with text files). -- Russel. ============================================================================= Dr Russel Winder t: +44 20 7585 2200 voip: sip:russel.win...@ekiga.net 41 Buckmaster Road m: +44 7770 465 077 xmpp: rus...@winder.org.uk London SW11 1EN, UK w: www.russel.org.uk skype: russel_winder -- You received this message because you are subscribed to the Google Groups "Frege Programming Language" group. To unsubscribe from this group and stop receiving emails from it, send an email to frege-programming-language+unsubscr...@googlegroups.com. For more options, visit https://groups.google.com/d/optout.
signature.asc
Description: This is a digitally signed message part
