Laurenz
|
406de22ee5
|
Remove method call syntax kind
|
2023-01-28 18:32:58 +01:00 |
|
Laurenz
|
4809e685a2
|
More capable math calls
|
2023-01-28 15:36:32 +01:00 |
|
Laurenz
|
28c554ec21
|
Rework math attachments and accents
|
2023-01-28 12:14:03 +01:00 |
|
Laurenz
|
1de53730bc
|
Symbol values and modules
|
2023-01-27 12:04:36 +01:00 |
|
Laurenz
|
a8fd64f928
|
Hashtags everywhere!
|
2023-01-27 11:54:30 +01:00 |
|
Laurenz
|
7e295d84b5
|
Math delimiter grouping
|
2023-01-22 13:32:58 +01:00 |
|
Laurenz
|
dd331f007c
|
Rewrite parser
|
2023-01-20 14:05:35 +01:00 |
|
Laurenz
|
40561e57fb
|
Remove most fields from `SyntaxKind` enum
|
2023-01-15 12:40:27 +01:00 |
|
Laurenz
|
ab03f32240
|
Reorganize syntax module
|
2023-01-14 12:34:17 +01:00 |
|
Laurenz
|
29b31c4a5a
|
New import syntax
|
2023-01-03 12:32:17 +01:00 |
|
Laurenz
|
8527517258
|
Rename `desc` to `terms`
|
2022-12-22 18:25:29 +01:00 |
|
Laurenz
|
2470df05af
|
Linked syntax node
|
2022-12-14 09:57:52 +01:00 |
|
Laurenz
|
c38d55614a
|
A few math fixes
|
2022-12-09 21:22:23 +01:00 |
|
Laurenz
|
cd089b6194
|
Align set rule
|
2022-12-09 10:21:11 +01:00 |
|
Laurenz
|
c2e458a133
|
Symbol notation
|
2022-12-05 12:25:37 +01:00 |
|
Laurenz
|
56923ee472
|
Multi-part numbering patterns
|
2022-12-02 15:47:25 +01:00 |
|
Laurenz
|
7af46fc025
|
Dynamic labels
|
2022-11-26 13:41:27 +01:00 |
|
Laurenz
|
b476de87b7
|
Rename two syntax types
|
2022-11-22 14:53:03 +01:00 |
|
Laurenz
|
46d469f4be
|
Ignore linebreak directly after markup statement
|
2022-11-20 21:40:08 +01:00 |
|
Laurenz
|
565b1977ae
|
Rename `RawKind` to `RawFields`
|
2022-11-19 23:12:23 +01:00 |
|
Laurenz
|
efd1853d06
|
Show it!
- New show rule syntax
- Set if syntax
- Removed wrap syntax
|
2022-11-07 12:46:05 +01:00 |
|
Laurenz
|
95e9134a3c
|
Refactor `geom` module
|
2022-10-28 16:43:38 +02:00 |
|
Laurenz
|
4fd031a256
|
More spans in AST
|
2022-10-17 17:11:01 +02:00 |
|
Laurenz
|
fd8160f374
|
Remove `SpanPos` in favor of `ErrorPos`
|
2022-10-05 13:15:02 +02:00 |
|
Laurenz
|
ec884ec1d8
|
Refactor syntax module
|
2022-10-05 12:49:39 +02:00 |