Commit graph

5 commits

Author SHA1 Message Date
nia
d14eac75b3 fonts: Replace RMD160 checksums with BLAKE2s checksums
All checksums have been double-checked against existing RMD160 and
SHA512 hashes
2021-10-26 10:26:59 +00:00
nia
9ef0a4d7a2 fonts: Remove SHA1 hashes for distfiles 2021-10-07 14:03:48 +00:00
rillig
7e61fbb150 fonts: align variable assignments
pkglint -Wall -F --only aligned --only indent -r

No manual corrections.
2019-11-02 22:24:37 +00:00
mef
78a5e37d30 Updated fonts/Hasklig to 1.1
----------------------------
v1.1
   - New ligatures ->>, :::, >=>, <=<, <=>, <->
   - Switched to newer version of calt code by Nikita Prokopov. It
     "doesn’t apply ligatures to long sequences of chars, e.g. !!!!,
     >>>>, etc"
   - Fixed ++ and +++ line inconsistency in heavy italic weights
v1.0
   - Updates to the latest version of SCP
   - Hasklig moves to a ligature substitution mechanism borrowed from
    the excellent Fira Code by Nikita Prokopov
2017-05-06 01:06:43 +00:00
wiz
0c787888e4 Import Hasklig-0.9 as fonts/Hasklig.
Programming languages are limited to relatively few characters. As
a result, combined character operators surfaced quite early, such
as the widely used arrow (->), comprised of a hyphen and greater
sign. It looks like an arrow if you know the analogy and squint a
bit.

Composite glyphs are problematic in languages such as Haskell which
utilize these complicated operators (=> -< >>= etc.) extensively.
The readability of such complex code improves with pretty printing.
Academic articles featuring Haskell code often use lhs2tex to
achieve an appealing rendering, but it is of no use when programming.

Some Haskellers have resorted to Unicode symbols, which are valid
in the ghc. However they are one-character-wide and therefore
eye-strainingly small. Furthermore, when displayed as substitutes
to the underlying multi-character representation, as vim2hs does,
the characters go out of alignment.

Hasklig solves the 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.  Not only
can multi-character glyphs be rendered more vividly, other problematic
things in monospaced fonts, such as spacing can be corrected.
2016-01-20 11:39:41 +00:00