search

i-tu / Hasklig

Hasklig - a code font with monospaced ligatures
SIL Open Font License 1.1
5.56k stars 156 forks source link

Ligature Request, /\, \/, and |- #122

Open olligobber opened 4 years ago

olligobber commented 4 years ago

These are used by me when programming logic stuff.

For examples see https://github.com/olligobber/DirectProof/blob/master/TypedProof.hs#L138