aboutsummaryrefslogtreecommitdiff
path: root/spec
AgeCommit message (Expand)Author
2020-06-30Tests and fixes for layer 5Marshall Lochbaum
2020-06-30Tests for layer 4; fix ⚇ with non-matching depthsMarshall Lochbaum
2020-06-29Layer 3 testsMarshall Lochbaum
2020-06-29Use plain dzaima/BQN when it passes the tests, up to layer 2Marshall Lochbaum
2020-06-29First two layers of dzaima+reference testingMarshall Lochbaum
2020-06-29dzaima/reference BQN executableMarshall Lochbaum
2020-06-29Reference bugfixesMarshall Lochbaum
2020-06-27G isn't a termMarshall Lochbaum
2020-06-26Allow nothing (·) as left tine of a forkMarshall Lochbaum
2020-06-26Prevent function versus value header ambiguityMarshall Lochbaum
2020-06-26No ℝMarshall Lochbaum
2020-06-26Add header grammar to specificationMarshall Lochbaum
2020-06-26Add Valences and Choose operators everywhereMarshall Lochbaum
2020-06-25Specify data typesMarshall Lochbaum
2020-06-25Specify text and numeric literalsMarshall Lochbaum
2020-06-23Fix markdownMarshall Lochbaum
2020-06-23EscapeMarshall Lochbaum
2020-06-23Specify AST evaluationMarshall Lochbaum
2020-06-23Specify token formationMarshall Lochbaum
2020-06-22Many fixes to reference implementationsMarshall Lochbaum
2020-06-21FixesMarshall Lochbaum
2020-06-21Fix swapped ⊸Marshall Lochbaum
2020-06-21Brace-construct typing is actually context-freeMarshall Lochbaum
2020-06-21Fix some invalid syntaxMarshall Lochbaum
2020-06-21Add negative indexing to ⊏ and ⊑Marshall Lochbaum
2020-06-20Unswap arguments in ⊣ definitionMarshall Lochbaum
2020-06-19Add explicit definition syntaxMarshall Lochbaum
2020-06-19Add braced arrays (containing no special arguments or operands)Marshall Lochbaum
2020-06-19Fix nesting issues in list assignmentMarshall Lochbaum
2020-06-19Don't allow assignment in 2-trainsMarshall Lochbaum
2020-06-19Small fixesMarshall Lochbaum
2020-06-19Specify grammarMarshall Lochbaum
2020-06-19Add specification READMEMarshall Lochbaum
2020-06-18Reference implementationsMarshall Lochbaum
generated by cgit v1.2.3 (git 2.25.1) at 2026-01-16 23:49:22 +0000