aboutsummaryrefslogtreecommitdiff
path: root/spec
AgeCommit message (Expand)Author
2021-02-04Require sort to be stable for fill elements of elementsMarshall Lochbaum
2021-02-03Rename Unique Mask to Mark FirstsMarshall Lochbaum
2021-02-01Vaguely adequate spec for index-related primitivesMarshall Lochbaum
2021-01-30Fix kš”½š”¾ inverse definition in the dyadic caseMarshall Lochbaum
2021-01-30Prevent names like _99 in the specMarshall Lochbaum
2021-01-30Require support for dyadic āŸœ in UndoMarshall Lochbaum
2021-01-25Use fill element to get Merge of empty arrayMarshall Lochbaum
2021-01-23Add shift functions to fill specMarshall Lochbaum
2021-01-22Correct some misplaced primitives in the fill specMarshall Lochbaum
2021-01-22Specify fill for <Marshall Lochbaum
2021-01-22Fix first of empty array in reference implementationsMarshall Lochbaum
2021-01-21Fill for a string literal is a characterMarshall Lochbaum
2021-01-20Add spec for fill elementsMarshall Lochbaum
2021-01-19Clarify that inferred property errors only happen when the property is neededMarshall Lochbaum
2021-01-18Fix some high rank issues and improve error messages in Progressive Index OfMarshall Lochbaum
2021-01-18Check non-principal argument rank in search functionsMarshall Lochbaum
2021-01-16Commentary on sorting functionsMarshall Lochbaum
2021-01-08There's no identity element for āˆ¾Ė on an empty listMarshall Lochbaum
2021-01-07Update specification READMEMarshall Lochbaum
2021-01-07Insert identity can be unique just among arrays with the appropriate cell shapeMarshall Lochbaum
2021-01-07Commentary on search functionsMarshall Lochbaum
2021-01-06Specify Insert identity behaviorMarshall Lochbaum
2021-01-05Add Reshape and Transpose to restructuring primitive commentaryMarshall Lochbaum
2021-01-05Use JoinTo in shift function definitions since complete āˆ¾ isn't defined yetMarshall Lochbaum
2021-01-04Commentary on restructuring primitives (Enclose, Merge, Join and relatives)Marshall Lochbaum
2021-01-04Fix Join on enclosed atomMarshall Lochbaum
2021-01-04Merge shouldn't enclose an atom argumentMarshall Lochbaum
2020-12-29Specify identity values for reductionsMarshall Lochbaum
2020-12-28Commentary on iteration modifiersMarshall Lochbaum
2020-12-27Validate right operand result for rank and depth operatorsMarshall Lochbaum
2020-12-27Commentary on arithmetic primitives from layer 1Marshall Lochbaum
2020-12-22Spec commentary sections on combinators and array propertiesMarshall Lochbaum
2020-12-21Rename Type to Fill in reference.bqnMarshall Lochbaum
2020-12-21Specify the remaining provided functions for reference.bqnMarshall Lochbaum
2020-12-21Define Rank function in reference.bqnMarshall Lochbaum
2020-12-21Add Floor and comparison function specificationsMarshall Lochbaum
2020-12-17Extend required inverse support to any 3-train with a constant left or right ...Marshall Lochbaum
2020-12-15Don't allow F`ā¼ of unitMarshall Lochbaum
2020-12-14āŠ‘ only looks at right argument depth 1Marshall 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-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-04Add import (module destructuring) to evaluation specMarshall Lochbaum
2020-12-01Allow and ignore underscores in numbersMarshall Lochbaum
2020-12-01Separate sections on script and file functionalityMarshall Lochbaum
2020-12-01Add a few system functions to the specMarshall Lochbaum
2020-10-18Everyone's a little dyslexicMarshall Lochbaum
generated by cgit v1.2.3 (git 2.25.1) at 2026-01-16 21:11:40 +0000