Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Shrubbery notation #122

Closed
wants to merge 44 commits into from
Closed
Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
44 commits
Select commit Hold shift + click to select a range
2d85e6b
shrubbery notation
mflatt Oct 1, 2019
d71458f
typo
mflatt Oct 1, 2019
5c76ddd
clarification
mflatt Oct 1, 2019
a769ff2
spell check
mflatt Oct 1, 2019
04222d7
fix RFC link and relate to sapling notation
mflatt Oct 1, 2019
de46cb8
fix date
mflatt Oct 1, 2019
ad4d45b
clarify `:` versus indentation in initial examples
mflatt Oct 2, 2019
9a0605f
update Lexpr link
mflatt Oct 2, 2019
00a36e5
require `,` to separate groups in `()` and `[]`
mflatt Oct 17, 2019
d639770
implicitly shift `|` half a column right
mflatt Oct 17, 2019
3af34f3
require `:` or `|` before indentation
mflatt Oct 17, 2019
7792774
allow trailing commas
mflatt Oct 20, 2019
0825a4e
fix indentation typo in example
mflatt Dec 18, 2019
04e3255
fix typo
mflatt Dec 19, 2019
bd6e7e5
revise `\` traetment and repair some other parser problems
mflatt Jul 6, 2021
d130d65
refine lexeme syntax
mflatt Jul 7, 2021
6570fe4
fix interp example to use a different operator for symbols
mflatt Jul 7, 2021
f07bef3
note a possible use of `\` to replace spaces
mflatt Jul 7, 2021
83dfb32
typo and clarification
mflatt Jul 7, 2021
2a461ba
correction and earlier clarification on indentation and `:` or `|`
mflatt Jul 8, 2021
e824868
typo/clarification
mflatt Jul 8, 2021
2823a07
yet more typos and clarification
mflatt Jul 8, 2021
b492185
allow `:` in an operator (but not by itself)
mflatt Jul 8, 2021
eba70c6
remove character-literal lexeme
mflatt Jul 8, 2021
e042375
distinguish representation of operators from identifiers
mflatt Jul 12, 2021
07c251f
add keywords, fix some operator details
mflatt Aug 2, 2021
1be9f15
add `#//` group comments
mflatt Aug 5, 2021
8e9683e
require `:` before `|`s
mflatt Aug 14, 2021
de23d21
disallow `:` before `|`s
mflatt Sep 6, 2021
f6fefca
separate {} from blocks; allow indentation plus operator to continue
mflatt Sep 10, 2021
4c5ceaa
sync implementation
mflatt Sep 10, 2021
7bc5bf6
remove «| ....»
mflatt Sep 11, 2021
c326cb9
change keyword to use a `~` prefix
mflatt Sep 14, 2021
2d397aa
sync implementation
mflatt Sep 14, 2021
39a4b28
add `@` notation a la `#lang at-exp`
mflatt Sep 19, 2021
d98e77c
sync implementation
mflatt Sep 19, 2021
5e50a32
fix backward `'braces` and `'brackets` description
mflatt Sep 20, 2021
7c9dce6
work around markdown issue
mflatt Oct 20, 2021
77053a9
more of the same for markdown
mflatt Oct 21, 2021
7cda017
make #// work in more ways
mflatt Oct 26, 2021
ebc1221
allow multiple `{}` arguments for `@` form
mflatt Oct 27, 2021
275b801
change `«»` to disable indentation inside
mflatt Nov 1, 2021
f33c68c
disallow empty block, except with explicit `«»`
mflatt Nov 7, 2021
279fa9a
adjust empty-block rule again
mflatt Nov 9, 2021
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
2 changes: 2 additions & 0 deletions .gitignore
Original file line number Diff line number Diff line change
@@ -0,0 +1,2 @@
*~
compiled/
Loading