Still NYI (2017.11, HEAD(5929887)), but I wonder if we really need it.
On 2015-09-23 08:37:57, coke wrote: > See S05-syntactic-categories/new-symbols.t >
Aleks-Daniel Jakimenko-Aleksejev via RT Fri, 01 Dec 2017 12:46:59 -0800
Still NYI (2017.11, HEAD(5929887)), but I wonder if we really need it.
On 2015-09-23 08:37:57, coke wrote: > See S05-syntactic-categories/new-symbols.t >