|
|
5b363c833a
|
Merge remote-tracking branch 'origin/main' into less-parsing
|
2025-11-06 16:59:53 -08:00 |
|
|
|
d6aea4b0f9
|
cache it
|
2025-11-06 13:36:22 -08:00 |
|
|
|
061452a334
|
Better names
|
2025-11-06 10:22:37 -08:00 |
|
|
|
4494cbce91
|
Revert "use string.quoted for strings (for now) (until defunkt gets a new vscode theme)"
This reverts commit 47c3fda4c8.
|
2025-11-06 10:22:37 -08:00 |
|
|
|
47d1ea1a0b
|
use string.quoted for strings (for now) (until defunkt gets a new vscode theme)
|
2025-11-06 10:22:37 -08:00 |
|
|
|
7645efc4f9
|
Revert "use string.quoted for strings (for now) (until defunkt gets a new vscode theme)"
This reverts commit 47c3fda4c8.
|
2025-11-06 09:31:56 -08:00 |
|
|
|
47c3fda4c8
|
use string.quoted for strings (for now) (until defunkt gets a new vscode theme)
|
2025-11-06 09:28:13 -08:00 |
|
|
|
ab12212df2
|
Make the extension know about the prelude
|
2025-11-06 09:23:18 -08:00 |
|
|
|
fcfbace65e
|
split namedarg and = into different tokens
|
2025-11-06 08:05:16 -08:00 |
|
|
|
54a5fec08e
|
check idents in NamedArg also
|
2025-11-06 07:41:35 -08:00 |
|
|
|
03c7bfee39
|
Track that scope!
|
2025-11-05 14:48:12 -08:00 |
|
|
|
fa67c26c0a
|
wip
|
2025-11-05 13:31:31 -08:00 |
|
|
|
7589518ca7
|
wip
|
2025-11-05 12:22:02 -08:00 |
|
|
|
b99394e94f
|
neat
|
2025-11-04 14:57:13 -08:00 |
|
|
|
2d7f0dbe25
|
extension is working!
|
2025-11-04 13:59:22 -08:00 |
|
