BQN.git - gitar

Age	Commit message (Expand)	Author
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	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-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-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