Use special handling to print compound names #22

New Issue

aniva · 2023-10-25T21:35:31-07:00

aniva commented

2023-10-25 21:35:31 -07:00

In Lean, some names are encased in French double quotes «» (see doc/lexical_structures.md). We need to be able to handle printing them without destroying the name sexp structure

In Lean, some names are encased in French double quotes `«»` (see `doc/lexical_structures.md`). We need to be able to handle printing them without destroying the name sexp structure

aniva added this to the 0.2.6 milestone 2023-10-25 21:35:31 -07:00

aniva added the

category

bug

part/Serial

labels 2023-10-25 21:35:31 -07:00

aniva self-assigned this 2023-10-25 21:35:31 -07:00

aniva modified the milestone from 0.2.6 to 0.3

2023-10-28 16:38:32 -07:00

aniva modified the milestone from 0.3 to 0.2.7

2023-10-29 13:00:32 -07:00

aniva commented