index
:
packy/dex
main
Unnamed repository; edit this file 'description' to name the repository.
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
doc
Age
Commit message (
Expand
)
Author
2023-04-04
Update the syntax-philosophy document to the new syntax.
Alexey Radul
2023-03-25
Update the documentation for function syntax to the new syntax.
Alexey Radul
2023-01-06
Use codegen printer in python path and remove `Serialize.prettyVal`.
Dougal
2022-10-19
Add surface syntax for dependent pairs.
Alexey Radul
2022-09-28
Refine and implement the Syntax Philosphy proposal.
Alexey Radul
2022-09-19
A reasoned proposal for operator precedence in Dex.
Alexey Radul
2022-08-30
Add a newtype constructor
Adam Paszke
2022-08-24
Move the `if` test cases from parser-tests to their own documentation noteboo...
Alexey Radul
2022-08-22
Tweak the pretty-printer for lambdas to wrap arguments in brackets like the n...
Alexey Radul
2022-08-22
Reorganize the parser.
Alexey Radul
2022-06-14
Move manually written documentation to the canonical doc/ directory.
Alexey Radul
2019-10-02
Make rule for running examples
Dougal Maclaurin
2019-09-30
Rename coddle->dex
Dougal Maclaurin
2019-08-11
Edits to latex grammar
Dougal Maclaurin
2019-08-10
Update latex syntax description
Dougal Maclaurin
2019-08-08
Rearrange directories a bit
Dougal Maclaurin