summaryrefslogtreecommitdiff
path: root/dhall_syntax
diff options
context:
space:
mode:
authorNadrieril2019-08-23 18:53:46 +0200
committerNadrieril2019-08-23 18:53:46 +0200
commitd5bdd48d4c34b4e213e3e2431936c160e4320a80 (patch)
tree2685d76c9ea37d98a541af83b7e939f695b1193c /dhall_syntax
parentd9e3bcca9b4350cbc1db2545d7ed28dde4e12be4 (diff)
Clarify which syntax elements are completely handled in the tck phase
Diffstat (limited to '')
0 files changed, 0 insertions, 0 deletions