Skip to content
GitLab
Explore
Sign in
Register
Alina Banerjee
head.hackage
Repository
head.hackage
patches
Agda-2.6.1.3.patch
Find file
Blame
History
Permalink
Use all ASCII in Agda's Parser.y to avoid locale issues
· 6d0a6c46
Ryan Scott
authored
Jun 07, 2021
6d0a6c46