@93a8f0c3 un descendant d'APL ?
@869ff7cb Contrairement à APL, on n'est pas obligé de taper ces caractères rigolos. Ils ont tous un équivalent ASCII, et le pretty-printer les traduit.