index
:
BQN.git
master
gitar
about
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
docs
/
spec
Age
Commit message (
Expand
)
Author
2021-01-08
There's no identity element for ∾˝ on an empty list
Marshall Lochbaum
2021-01-07
Update specification README
Marshall Lochbaum
2021-01-07
Insert identity can be unique just among arrays with the appropriate cell shape
Marshall Lochbaum
2021-01-07
Commentary on search functions
Marshall Lochbaum
2021-01-06
Specify Insert identity behavior
Marshall Lochbaum
2021-01-05
Add Reshape and Transpose to restructuring primitive commentary
Marshall Lochbaum
2021-01-04
Commentary on restructuring primitives (Enclose, Merge, Join and relatives)
Marshall Lochbaum
2020-12-29
Specify identity values for reductions
Marshall Lochbaum
2020-12-28
Commentary on iteration modifiers
Marshall Lochbaum
2020-12-27
Commentary on arithmetic primitives from layer 1
Marshall Lochbaum
2020-12-22
Spec commentary sections on combinators and array properties
Marshall Lochbaum
2020-12-21
Rename Type to Fill in reference.bqn
Marshall Lochbaum
2020-12-21
Specify the remaining provided functions for reference.bqn
Marshall Lochbaum
2020-12-21
Add Floor and comparison function specifications
Marshall Lochbaum
2020-12-17
Extend required inverse support to any 3-train with a constant left or right ...
Marshall Lochbaum
2020-12-15
Don't allow F`⁼ of unit
Marshall Lochbaum
2020-12-14
⊑ only looks at right argument depth 1
Marshall Lochbaum
2020-12-14
Have to check the result of 𝔽⁼, not just apply it, to validate 𝔽⁼...
Marshall Lochbaum
2020-12-14
Add dyadic ⊸ to Undo requirements
Marshall Lochbaum
2020-12-12
Actually finish the structural Under well-definedness proof
Marshall Lochbaum
2020-12-10
Add specification for basic arithmetic +-×÷⋆
Marshall Lochbaum
2020-12-10
Requirements and guidance for implementing structural Under
Marshall Lochbaum
2020-12-10
Define Under, with proof that structural Under is well-defined
Marshall Lochbaum
2020-12-04
Add import (module destructuring) to evaluation spec
Marshall Lochbaum
2020-12-01
Allow and ignore underscores in numbers
Marshall Lochbaum
2020-12-01
Separate sections on script and file functionality
Marshall Lochbaum
2020-12-01
Add a few system functions to the spec
Marshall Lochbaum
2020-10-18
Everyone's a little dyslexic
Marshall Lochbaum
2020-10-12
Add import and export scoping rules
Marshall Lochbaum
2020-10-12
Rename NS_STMT to IMPORT
Marshall Lochbaum
2020-10-12
Scoping (not really) rules for special names
Marshall Lochbaum
2020-10-12
Use ⇐ instead of : for namespace destructuring
Marshall Lochbaum
2020-10-11
Don't spell 2-Modifier with a 1
Marshall Lochbaum
2020-10-09
Add ⇐ to syntax docs
Marshall Lochbaum
2020-10-09
Allow any statement as the last line of a namespace block or program
Marshall Lochbaum
2020-10-08
Add grammar for namespace blocks with export and import statements
Marshall Lochbaum
2020-10-03
Write files directly from md.bqn, not gendocs (removes trailing empty lines)
Marshall Lochbaum
2020-09-24
Add breadcrumbs to generated html
Marshall Lochbaum
2020-09-22
Change spec so function and left arg are still evaluated if right arg is nothing
Marshall Lochbaum
2020-09-20
DEF statement doesn't exist
Marshall Lochbaum
2020-09-14
Don't allow ∞ with an exponent in numeric literals
Marshall Lochbaum
2020-09-14
Recompile docs
Marshall Lochbaum
2020-09-07
Fix ∨⁼
Marshall Lochbaum
2020-09-07
Don't require inverses for derived functions that happen to be constant
Marshall Lochbaum
2020-09-07
Fix dyadic ¬˜⁼ specification
Marshall Lochbaum
2020-09-06
Specification for Undo modifier
Marshall Lochbaum
2020-09-04
Use atom for non-array throughout docs
Marshall Lochbaum
2020-09-04
Recompile spec after adding null literal
Marshall Lochbaum
2020-09-03
Highlight quotes as strings even if unpaired
Marshall Lochbaum
2020-09-02
Add constant 1-modifier ˙
Marshall Lochbaum
[next]