Agda-2.5.4.2: stack-8.2.2.yaml
resolver: lts-11.22 extra-deps: - async-2.2.1 - text-1.2.3.1 # Local packages, usually specified by relative directory name packages: - '.'
resolver: lts-11.22 extra-deps: - async-2.2.1 - text-1.2.3.1 # Local packages, usually specified by relative directory name packages: - '.'