Revision ef3d52b4562d7ab5364f70728e2378b8950580ef authored by Niki Vazou on 07 June 2019, 19:14:21 UTC, committed by GitHub on 07 June 2019, 19:14:21 UTC
Remove some used lambda features
stack.yaml
resolver: lts-13.11
flags:
liquid-fixpoint:
devel: true
packages:
- '.'
packages:
- '.'
extra-deps:
- dotgen-0.4.2
- fgl-visualize-0.1.0.1
- intern-0.9.2
- located-base-0.1.1.1
- text-format-0.3.2
- tasty-rerun-1.1.14
Computing file changes ...