search

rzach / multlog

M. Ultlog, the genius many-valued logic expert
https://logic.at/multlog
7 stars 1 forks source link

Comment stripping from .cfg is broken #13

Open rzach opened 3 years ago

rzach commented 3 years ago

Any string in the .cfg file turns into a list of charcodes e.g.,

texName(n, "\\boldsymbol{N}").

turns into

texName (n ,[92 ,98 ,111 ,108 ,100 ,115 ,121 ,109 ,98 ,111 ,108 ,123 ,78 ,125]) .
rzach commented 3 years ago

Maybe the thing to do is to not strip comments from the lgc and cfg files after all? The examples we provide now have minimal comments; if a user is bothered by comments they can take them out.