Unicode Haskell source -- Yippie!

Previous Topic Next Topic
 
classic Classic list List threaded Threaded
42 messages Options
123
Reply | Threaded
Open this post in threaded view
|

Re: Unicode Haskell source -- Yippie!

Lucas Paul
Since I saw there wasn't one yet, I have taken the liberty of writing
a PKGBUILD for Hasklig and uploading it to the Arch AUR. Anyone
running Arch can now get Hasklig from the AUR package otf-hasklig.

On Thu, Apr 24, 2014 at 3:07 PM, Niklas Hambüchen <[hidden email]> wrote:

> A smart, recently proposed alternative is using a font that does this
> automatically for you: https://github.com/i-tu/Hasklig
>
> In my opinion, this gives you all benefits of unicode syntax without
> imposing the drawbacks on others, and you don't even have to set up a
> custom input method to conveniently type them in.
>
> Quoting:
>
> Some Haskell programmers have resorted to unicode symbols in code as a
> solution (⇒, ← etc.). This opens a whole new can of worms. In addition
> to encoding/compatibility problems and all the reasons it never worked
> out for APL, these symbols are one-character-wide and therefore
> eye-strainingly small.
>
> Hasklig solves this problem the way typographers have always solved
> ill-fitting characters which co-occur often: ligatures. The underlying
> code stays the same — only the representation changes.
_______________________________________________
Haskell-Cafe mailing list
[hidden email]
http://www.haskell.org/mailman/listinfo/haskell-cafe
Reply | Threaded
Open this post in threaded view
|

Re: Unicode Haskell source -- Yippie!

Ian Tuomi
On 9 May 2014, at 7:57, Lucas Paul wrote:
> Since I saw there wasn't one yet, I have taken the liberty of writing
> a PKGBUILD for Hasklig and uploading it to the Arch AUR. Anyone
> running Arch can now get Hasklig from the AUR package otf-hasklig.

That's great! Thank you very much for doing this.

-Ian
_______________________________________________
Haskell-Cafe mailing list
[hidden email]
http://www.haskell.org/mailman/listinfo/haskell-cafe
123