| Age | Commit message (Expand) | Author |
|---|---|---|
| 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 |
 |
index : BQN.git | |
| gitar |
| aboutsummaryrefslogtreecommitdiff |