An error occurred while fetching folder content.
Select Git revision
TexCommon
-
-
- Open in your IDE
- Download source code
Hans-Peter Deifel
authored
This cleans up newline handling in the whitespace parser: Newlines are not treated the same as other whitespace any more and are only allowed after the functor expression and between individual morphism points. By doing this, we get a less surprising grammar for parsing ("x: { y:" would never try to parse the "y:" as the start of a new definition) and can speed up the hot path (a single space character) considerably.
Name | Last commit | Last update |
---|