aboutsummaryrefslogtreecommitdiff
path: root/docs/spec
AgeCommit message (Expand)Author
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-04Commentary on restructuring primitives (Enclose, Merge, Join and relatives)Marshall Lochbaum
2020-12-29Specify identity values for reductionsMarshall Lochbaum
2020-12-28Commentary on iteration modifiersMarshall 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-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
2020-10-12Add import and export scoping rulesMarshall Lochbaum
2020-10-12Rename NS_STMT to IMPORTMarshall Lochbaum
2020-10-12Scoping (not really) rules for special namesMarshall Lochbaum
2020-10-12Use ⇐ instead of : for namespace destructuringMarshall Lochbaum
2020-10-11Don't spell 2-Modifier with a 1Marshall Lochbaum
2020-10-09Add ⇐ to syntax docsMarshall Lochbaum
2020-10-09Allow any statement as the last line of a namespace block or programMarshall Lochbaum
2020-10-08Add grammar for namespace blocks with export and import statementsMarshall Lochbaum
2020-10-03Write files directly from md.bqn, not gendocs (removes trailing empty lines)Marshall Lochbaum
2020-09-24Add breadcrumbs to generated htmlMarshall Lochbaum
2020-09-22Change spec so function and left arg are still evaluated if right arg is nothingMarshall Lochbaum
2020-09-20DEF statement doesn't existMarshall Lochbaum
2020-09-14Don't allow ∞ with an exponent in numeric literalsMarshall Lochbaum
2020-09-14Recompile docsMarshall Lochbaum
2020-09-07Fix ∨⁼Marshall Lochbaum
2020-09-07Don't require inverses for derived functions that happen to be constantMarshall Lochbaum
2020-09-07Fix dyadic ¬˜⁼ specificationMarshall Lochbaum
2020-09-06Specification for Undo modifierMarshall Lochbaum
2020-09-04Use atom for non-array throughout docsMarshall Lochbaum
2020-09-04Recompile spec after adding null literalMarshall Lochbaum
2020-09-03Highlight quotes as strings even if unpairedMarshall Lochbaum
2020-09-02Add constant 1-modifier ˙Marshall Lochbaum