Closed Thom1729 closed 3 years ago
In the future, we should probably move the explanations into a notation section in the introduction.
Using ∎ instead of _eof_ lets us remove a special case in the Python script.
_eof_
By submitting this pull request, I confirm that you can use, modify, copy, and redistribute this contribution, under the terms of your choice.
https://spec.yaml.io/pr-259/spec/1.3.0/
Thom1729
commented
3 years ago Thom1729
commented
3 years ago
In the future, we should probably move the explanations into a notation section in the introduction.
Using ∎ instead of
_eof_lets us remove a special case in the Python script.By submitting this pull request, I confirm that you can use, modify, copy, and redistribute this contribution, under the terms of your choice.