Encore une police de caractères spéciale pour développeurs, mais cette fois avec des ligatures.
Je suis en train de me demander si les ligatures sont vraiment pertinentes pour un développeur ?
Par exemple le comptage du nombre de # successifs devient plus difficile au premier coup d’œil.
Mouais, à voir...