diff options
| author | Nadrieril | 2019-08-23 18:53:46 +0200 |
|---|---|---|
| committer | Nadrieril | 2019-08-23 18:53:46 +0200 |
| commit | d5bdd48d4c34b4e213e3e2431936c160e4320a80 (patch) | |
| tree | 2685d76c9ea37d98a541af83b7e939f695b1193c /dhall_syntax/src | |
| parent | d9e3bcca9b4350cbc1db2545d7ed28dde4e12be4 (diff) | |
Clarify which syntax elements are completely handled in the tck phase
Diffstat (limited to '')
0 files changed, 0 insertions, 0 deletions