aboutsummaryrefslogtreecommitdiff
path: root/docs/spec/inferred.html
AgeCommit message (Expand)Author
2022-12-09Fix reference to First using fill in fill specificationMarshall Lochbaum
2022-08-21Point out that defining √⁼ to be ט gives it an extended domainMarshall Lochbaum
2022-06-06Consistently avoid "derived function" for trains: use "compound function" ins...Marshall Lochbaum
2022-01-28Separate syntax highlighting category for header/body characters ;:?Marshall Lochbaum
2021-12-12Special case extensions to remove checks from /⁼ and F⁼⁼Marshall Lochbaum
2021-12-01Some work on header grammar spec (still incomplete)Marshall Lochbaum
2021-11-22Add optional spec for ⋈⁼Marshall Lochbaum
2021-10-26TypoMarshall Lochbaum
2021-10-25Add ⋈ (Enlist/Pair) to specificationMarshall Lochbaum
2021-08-30Missing wordMarshall Lochbaum
2021-08-11Allow clicking on header to get fragment linkMarshall Lochbaum
2021-08-11Change "BQN / main" in header to "(github) / BQN"Marshall Lochbaum
2021-07-26EditingMarshall Lochbaum
2021-07-24Simplification: Range fill is just 𝕩 fill-ifiedMarshall Lochbaum
2021-03-24Specify function Undo headersMarshall Lochbaum
2021-03-21Framing for specification, and discussion of implementation-defined aspectsMarshall Lochbaum
2021-02-11Dyadic scan inverseMarshall Lochbaum
2021-02-03Rename Unique Mask to Mark FirstsMarshall Lochbaum
2021-01-30Require support for dyadic ⟜ in UndoMarshall 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-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-08There's no identity element for ∾˝ on an empty listMarshall Lochbaum
2021-01-07Insert identity can be unique just among arrays with the appropriate cell shapeMarshall Lochbaum
2021-01-06Specify Insert identity behaviorMarshall Lochbaum
2020-12-29Specify identity values for reductionsMarshall 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-10Requirements and guidance for implementing structural UnderMarshall Lochbaum
2020-12-10Define Under, with proof that structural Under is well-definedMarshall 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-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
generated by cgit v1.2.3 (git 2.25.1) at 2026-01-16 07:21:20 +0000