aboutsummaryrefslogtreecommitdiff
AgeCommit message (Expand)Author
2020-12-17Fix error from Bins with atom right argumentMarshall Lochbaum
2020-12-16Have to verify inverse of ⍟ with negative right operand, just like ⁼Marshall Lochbaum
2020-12-16Add fallback for ⍕ since it doesn't format many possible argumentsMarshall Lochbaum
2020-12-15Tests for Undo with most 1-modifiersMarshall Lochbaum
2020-12-15Don't allow F`⁼ of unitMarshall Lochbaum
2020-12-15Remove trailing newline in dz_comp reportingMarshall Lochbaum
2020-12-15Fix array⁼Marshall Lochbaum
2020-12-15Allow test cases to require failure with "! % test"Marshall Lochbaum
2020-12-15Fix undo of ⟜ with constant right operandMarshall Lochbaum
2020-12-15Proper reporting for failed execution in test/dz_compMarshall Lochbaum
2020-12-15Trim spaces in test cases and resultsMarshall Lochbaum
2020-12-14Add tests for Undo on primitivesMarshall Lochbaum
2020-12-14Pass names of tests as options instead of using ad-hoc prim optionMarshall Lochbaum
2020-12-14Unify prim.bqn and other test formats by using expected result 1 if there's no %Marshall Lochbaum
2020-12-14Move test cases to their own directoryMarshall Lochbaum
2020-12-14Use 𝕊 instead of a header in prim.bqnMarshall Lochbaum
2020-12-14Don't define a result inverse when the inverse isn't foundMarshall Lochbaum
2020-12-14⊑ only looks at right argument depth 1Marshall Lochbaum
2020-12-14𝔽⁼⁼⁼ is always 𝔽⁼Marshall Lochbaum
2020-12-14Have to check the result of 𝔽⁼, not just apply it, to validate 𝔽⁼...Marshall Lochbaum
2020-12-14Add dyadic ⊸ to Undo requirementsMarshall Lochbaum
2020-12-14Support undoing compound functionsMarshall Lochbaum
2020-12-13Fix VM-provided table and scan Decompose representationsMarshall Lochbaum
2020-12-12Adjust Decompose and Glyph in the runtime under dzaima/BQN to search for runt...Marshall Lochbaum
2020-12-12Pass Decompose and Glyph into runtimeMarshall Lochbaum
2020-12-12Use Type instead of IsArray in the runtimeMarshall Lochbaum
2020-12-12Numbers should be type 1 and characters type 2 (unused by fmt.bqn)Marshall Lochbaum
2020-12-12Actually finish the structural Under well-definedness proofMarshall Lochbaum
2020-12-10Add specification for basic arithmetic +-×÷⋆Marshall Lochbaum
2020-12-10Requirements and guidance for implementing structural UnderMarshall Lochbaum
2020-12-10Define Under, with proof that structural Under is well-definedMarshall Lochbaum
2020-12-09Remove \\ from inputrc because it recursesMarshall Lochbaum
2020-12-08Add .inputrc keybindingsMarshall Lochbaum
2020-12-06Check that argument to First Cell (⊏) has rank at least 1Marshall Lochbaum
2020-12-06Handle namespace dot in editor scriptsMarshall Lochbaum
2020-12-04Add import (module destructuring) to evaluation specMarshall Lochbaum
2020-12-04Use modules in fifty functions examples when appropriateMarshall Lochbaum
2020-12-03Require arguments to ×÷⋆ and ⋆⁼ to be numbersMarshall Lochbaum
2020-12-03Update test/js -prim for changed prim.bqn formatMarshall Lochbaum
2020-12-03Change outdated : to ⇐ for import aliases in syntax docMarshall Lochbaum
2020-12-03Code blocks can have function results nowMarshall Lochbaum
2020-12-03Derived function and train formattingMarshall Lochbaum
2020-12-03Don't use immediate modifiers for builtins, as it breaks derv formattingMarshall Lochbaum
2020-12-02Add README to commentary folderMarshall Lochbaum
2020-12-02Use the result generation instead of writing ERROR in code blocksMarshall Lochbaum
2020-12-02Include trailing newline in ERROR for code blocksMarshall Lochbaum
2020-12-02Move problems.md to commentary folderMarshall Lochbaum
2020-12-01Allow and ignore underscores in numbersMarshall Lochbaum
2020-12-01Shift repr numbers: now 0 is primitive and 1 is blockMarshall Lochbaum
2020-12-01Make (𝕨 F G) produce a real 2-train if 𝕨 is ·, not a 3-trainMarshall Lochbaum