diff options
| author | Liang-Ting Chen <liang.ting.chen.tw@gmail.com> | 2022-02-20 19:09:27 +0800 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-02-20 12:09:27 +0100 |
| commit | e36191c0cfb8a05e16f39241dbd86054b6b009ac (patch) | |
| tree | 1224a522f7a8f2bdd02060bb48db22bea50db74e /tests/test_basic_api.py | |
| parent | 10b17a899d88ba8ea06d0f61657b477064671201 (diff) | |
| download | pygments-git-e36191c0cfb8a05e16f39241dbd86054b6b009ac.tar.gz | |
Update Agda’s reserved words (#2017)
A number of keywords are added and a deprecated keyword `unquoteGoal` is removed. For the latest set of keywords in Agda, see https://github.com/agda/agda/blob/master/src/full/Agda/Syntax/Parser/Lexer.x#L153-L193.
Diffstat (limited to 'tests/test_basic_api.py')
0 files changed, 0 insertions, 0 deletions