aboutsummaryrefslogtreecommitdiff
path: root/spec
AgeCommit message (Expand)Author
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-03Verify html link line at the top of markdown files when convertingMarshall 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-20Use "unit" or "rank-0" instead of "scalar"Marshall Lochbaum
2020-09-14Don't allow ∞ with an exponent in numeric literalsMarshall Lochbaum
2020-09-14Correct 0j1 to 0i1Marshall Lochbaum
2020-09-14Fix rank test for shiftsMarshall Lochbaum
2020-09-13Add «» to docsMarshall Lochbaum
2020-09-07Change √⁼ from ⋆⟜2 to ט so it's exactly roundedMarshall 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-05Prefer ˙ to ˜ for constant functionsMarshall Lochbaum
2020-09-05Extend Group and Group Indices reference implementationsMarshall Lochbaum
2020-09-04Use atom for non-array throughout docsMarshall Lochbaum
2020-09-03Add the null character literal @Marshall Lochbaum
2020-09-02Add constant 1-modifier ˙Marshall Lochbaum
2020-09-02Update reference ReshapeMarshall Lochbaum
2020-09-02Add monadic ⊐ to specMarshall Lochbaum
2020-08-26Allow plain 𝕊 _𝕣 _𝕣_ as labelsMarshall Lochbaum
2020-07-28Specify variable scopingMarshall Lochbaum
2020-07-25Small fixes to reference implementationsMarshall Lochbaum
2020-07-21Rename Reduce to FoldMarshall Lochbaum
2020-07-21Add Insert (˝) 1-modifierMarshall Lochbaum
2020-07-21Add Rank function as monadic =Marshall Lochbaum
2020-07-18Add a main repository link to html files and titles to spec filesMarshall Lochbaum
2020-07-18Add links to html versions at the top of markdown filesMarshall Lochbaum
2020-07-18Terminology changes: subject, 1/2-modifier, Box/Unbox to Enclose/Merge, blocksMarshall Lochbaum
2020-07-18Add index for doc/ folderMarshall Lochbaum
2020-07-17Move some files aroundMarshall Lochbaum
2020-07-14dzaima/BQN has full ↑ support nowMarshall Lochbaum
2020-07-14⊔ now up to spec in dzaima/BQNMarshall Lochbaum
generated by cgit v1.2.3 (git 2.25.1) at 2026-01-20 12:11:20 +0000