 David Peter
|
fae47e8183
Add '\cdot' as additional multiplication operator
|
1 year ago |
|
David Peter
|
2e778bdafd
Change syntax to … where … and …, solve remaining tasks
|
1 year ago |
|
David Peter
|
2f80ce8bb9
Add new 'where' keyword to Numbat syntaxes
|
1 year ago |
|
David Peter
|
8856826a88
Update Numbat syntaxes
|
1 year ago |
|
David Peter
|
6572a27ee0
Fix all instances of bool/str => Bool/String
|
2 years ago |
|
David Peter
|
81956076bd
Add 'assert(…)' procedure, closes #188
|
2 years ago |
|
David Peter
|
f46cd6a37f
Update syntaxes
|
2 years ago |
|
David Peter
|
bb7491c641
Update documentation, syntaxes
|
2 years ago |
|
David Peter
|
fe119c0f4f
Add new 'type' procedure to print expr type
|
2 years ago |
|
David Peter
|
513b3056be
Update syntaxes
|
2 years ago |
|
David Peter
|
a9be37d296
Replace @aliases_short with alias annotations, add option for ': both' annotation
|
2 years ago |
|
David Peter
|
944d675bc5
Add initial version of sublime syntax for Numbat
|
2 years ago |
