aboutsummaryrefslogtreecommitdiff
path: root/doc/block.md
AgeCommit message (Expand)Author
2021-11-29Remove → from docs and REPLMarshall Lochbaum
2021-10-30Missing semicolons in case header exampleMarshall Lochbaum
2021-10-10Make description match exampleMarshall Lochbaum
2021-10-09Point out use of immediate block with predicatesMarshall Lochbaum
2021-10-09Predicate documentationMarshall Lochbaum
2021-10-09Documentation for NothingMarshall Lochbaum
2021-08-15Clarify that the main name in a header is only internalMarshall Lochbaum
2021-07-18Finish lexical scope documentationMarshall Lochbaum
2021-06-15Fix Fact_mod exampleMarshall Lochbaum
2021-01-06Avoid joining units in some documentationMarshall Lochbaum
2020-12-02Use the result generation instead of writing ERROR in code blocksMarshall Lochbaum
2020-09-01Fix editing error: recurse instead of using previous functionMarshall Lochbaum
2020-08-31Docs on the blocksMarshall Lochbaum
generated by cgit v1.2.3 (git 2.25.1) at 2026-01-16 12:45:53 +0000