Skip to content
Open
Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
41 commits
Select commit Hold shift + click to select a range
57f0f42
remove title and add subject-area
davidcarlisle Aug 28, 2026
ec0efd2
adjust loop
davidcarlisle Aug 28, 2026
0bc516c
sorting
davidcarlisle Aug 28, 2026
21dc39f
colon liquid syntax
davidcarlisle Aug 28, 2026
04d9a64
concepts list
davidcarlisle Aug 28, 2026
c1f77d8
test 1
davidcarlisle Aug 28, 2026
9d00373
test 2
davidcarlisle Aug 28, 2026
1b306fd
don't sort for core
davidcarlisle Aug 28, 2026
97946f4
align headings
davidcarlisle Aug 28, 2026
fb38f56
restore indent
davidcarlisle Aug 28, 2026
44b964a
comment syntax
davidcarlisle Aug 28, 2026
8dc525c
least common denominator
davidcarlisle Aug 28, 2026
76bde04
arguments field
davidcarlisle Aug 28, 2026
dc43d32
show arguments
davidcarlisle Aug 28, 2026
9994a99
show arguments
davidcarlisle Aug 28, 2026
444e43a
replace $ by a
davidcarlisle Aug 28, 2026
3215aaf
yaml indents
davidcarlisle Aug 28, 2026
56bff27
colspan
davidcarlisle Aug 28, 2026
f5bbb5e
speech[language]
davidcarlisle Aug 28, 2026
fefbeee
restructure open yaml
davidcarlisle Aug 29, 2026
8eacaca
open index 1
davidcarlisle Aug 29, 2026
1a88ef2
open index 2
davidcarlisle Aug 29, 2026
46f9271
open index 3
davidcarlisle Aug 29, 2026
ba66482
space after comma to please the linter
davidcarlisle Aug 29, 2026
d77c8cc
reduce indent to please linter
davidcarlisle Aug 29, 2026
838e519
space after comma to please the linter
davidcarlisle Aug 29, 2026
fdda0a2
indent comments to please the linter
davidcarlisle Aug 29, 2026
b2ec953
max line length 240 to please the linter
davidcarlisle Aug 29, 2026
7a57b6c
show arg list in conditions case
davidcarlisle Aug 29, 2026
c680c30
prefix arguments with $
davidcarlisle Aug 30, 2026
1f797fa
prevent linebreaks in arg list
davidcarlisle Aug 31, 2026
1f03ff5
show argument list in open
davidcarlisle Aug 31, 2026
2d6b58a
show args as not
davidcarlisle Aug 31, 2026
4d927e5
Merge branch 'main' into main
davidcarlisle Oct 27, 2026
da23de5
just display argument list not numeric arity
davidcarlisle Oct 27, 2026
19bc976
update checkout action
davidcarlisle Oct 27, 2026
e0a71b7
wider
davidcarlisle Oct 27, 2026
dcf7e61
stix two math
davidcarlisle Oct 27, 2026
eed0c1e
stix two math
davidcarlisle Oct 27, 2026
61dd82e
align equations
davidcarlisle Oct 27, 2026
fe4184d
align equations 2
davidcarlisle Oct 27, 2026
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: 1 addition & 1 deletion .github/workflows/check-core-list.yml
Original file line number Diff line number Diff line change
Expand Up @@ -12,6 +12,6 @@ jobs:
validate-yaml-core-concept-list:
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v2
- uses: actions/checkout@v7
- name: Validate YAML intent lists
run: yamllint -c _data/_config_yamllint.yml _data/core.yml
2 changes: 1 addition & 1 deletion .github/workflows/check-core-properties-list.yml
Original file line number Diff line number Diff line change
Expand Up @@ -12,6 +12,6 @@ jobs:
validate-yaml-core-properties-concept-list:
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v2
- uses: actions/checkout@v7
- name: Validate YAML intent lists
run: yamllint -c _data/_config_yamllint.yml _data/core-properties.yml
2 changes: 1 addition & 1 deletion .github/workflows/check-open-list.yml
Original file line number Diff line number Diff line change
Expand Up @@ -12,6 +12,6 @@ jobs:
validate-yaml-open-concept-list:
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v2
- uses: actions/checkout@v7
- name: Validate YAML intent lists
run: yamllint -c _data/_config_yamllint.yml _data/open.yml
8 changes: 2 additions & 6 deletions _data/core-properties.yml
Original file line number Diff line number Diff line change
Expand Up @@ -141,21 +141,17 @@
<mtd columnalign='right'>
<mn>2</mn><mo>&#x2062;</mo><mi>x</mi>
</mtd>
<mtd columnalign='center'>
<mo>=</mo>
</mtd>
<mtd columnalign='left'>
<mo form="infix">=</mo>
<mn>1</mn>
</mtd>
</mtr>
<mtr>
<mtd columnalign='right'>
<mi>y</mi>
</mtd>
<mtd columnalign='center'>
<mo>></mo>
</mtd>
<mtd columnalign='left'>
<mo form="infix">></mo>
<mi>x</mi><mo>&#x2212;</mo><mn>3</mn>
</mtd>
</mtr>
Expand Down
Loading
Loading