summaryrefslogtreecommitdiff
path: root/doc
AgeCommit message (Expand)Author
2023-04-04Update the syntax-philosophy document to the new syntax.Alexey Radul
2023-03-25Update the documentation for function syntax to the new syntax.Alexey Radul
2023-01-06Use codegen printer in python path and remove `Serialize.prettyVal`.Dougal
2022-10-19Add surface syntax for dependent pairs.Alexey Radul
2022-09-28Refine and implement the Syntax Philosphy proposal.Alexey Radul
2022-09-19A reasoned proposal for operator precedence in Dex.Alexey Radul
2022-08-30Add a newtype constructorAdam Paszke
2022-08-24Move the `if` test cases from parser-tests to their own documentation noteboo...Alexey Radul
2022-08-22Tweak the pretty-printer for lambdas to wrap arguments in brackets like the n...Alexey Radul
2022-08-22Reorganize the parser.Alexey Radul
2022-06-14Move manually written documentation to the canonical doc/ directory.Alexey Radul
2019-10-02Make rule for running examplesDougal Maclaurin
2019-09-30Rename coddle->dexDougal Maclaurin
2019-08-11Edits to latex grammarDougal Maclaurin
2019-08-10Update latex syntax descriptionDougal Maclaurin
2019-08-08Rearrange directories a bitDougal Maclaurin
generated by cgit v1.2.3-70-g09d2 (git 2.46.0) at 2024-10-22 20:58:12 +0000