 rhiannon morris
|
41766c5db6
|
no more bool
|
2022-07-15 14:56:32 +02:00 |
|
rhiannon morris
|
9fae64707e
|
highlight \ and . the same
|
2022-07-15 14:55:39 +02:00 |
|
rhiannon morris
|
c3ec8631ae
|
fix ^ in idents
|
2022-07-15 14:55:23 +02:00 |
|
rhiannon morris
|
0c1cb6f77a
|
fun is an expression not a decl
|
2022-07-15 14:55:12 +02:00 |
|
rhiannon morris
|
f58e67db1c
|
fix comments
|
2022-07-15 14:54:57 +02:00 |
|
rhiannon morris
|
6ae3479480
|
recognise #[…] and $[…]
|
2022-07-15 14:54:53 +02:00 |
|
rhiannon morris
|
3229be14f8
|
highlight holes
|
2022-07-11 17:27:14 +02:00 |
|
rhiannon morris
|
8db3c960b0
|
iskeyword
|
2022-07-11 17:27:05 +02:00 |
|
rhiannon morris
|
d25d97f1a9
|
FN doesn't exist any more?
|
2022-06-24 16:17:19 +02:00 |
|
rhiannon morris
|
16fcb1f1ab
|
comment stuff
|
2022-06-24 15:58:55 +02:00 |
|
Rhiannon Morris
|
892f5a07c2
|
syntax highlighting for whomst
|
2020-06-22 15:19:47 +02:00 |
|
Rhiannon Morris
|
92e97c5f78
|
Allow multiple %s at the start of a comment
tbh comments are probably anything that doesn't happen to be a
pragma but I'm leaving it like this
|
2020-06-19 16:48:11 +02:00 |
|
Rhiannon Morris
|
772dc1ae0f
|
add typedef
|
2020-06-13 02:03:19 +02:00 |
|
Rhiannon Morris
|
d6eda4abd0
|
also flag ← as an error
|
2020-06-12 19:55:47 +02:00 |
|
Rhiannon Morris
|
73522cd0b0
|
flag <- and prop as errors
|
2020-06-12 19:54:25 +02:00 |
|
Rhiannon Morris
|
bf53ca2423
|
add module keywords and qualified names
|
2020-06-12 19:54:15 +02:00 |
|
Rhiannon Morris
|
5f2b5effb3
|
add ^ as a substitution constant
|
2020-06-12 19:53:59 +02:00 |
|
Rhiannon Morris
|
1bec2fba30
|
add <> as brackets
|
2020-06-12 19:53:46 +02:00 |
|
Rhiannon Morris
|
c68c6ca349
|
<- and ← don't exist any more
|
2020-06-12 18:12:38 +02:00 |
|
Rhiannon Morris
|
143bbc4937
|
haha oops
|
2020-06-12 18:12:26 +02:00 |
|
Rhiannon Morris
|
c4db60267e
|
Add some more stuff from looking thru the parser
|
2020-06-12 08:08:54 +02:00 |
|
Rhiannon Morris
|
fdcf18a992
|
Add all the syntax i could easily find
|
2020-06-12 06:26:30 +02:00 |
|
Rhiannon Morris
|
b4187cc97b
|
First
|
2020-06-12 05:22:29 +02:00 |