4 ms·
The XML version has the dtd which can be used to validate it though. I am not aware of something similar for s-expressions.
by dependenttypes 7y ago
The XML version has the dtd which can be used to validate it though. I am not aware of something similar for s-expressions.