Revision e025d354fad1fee3724eaf9de5a067343c1bf07d authored by Anish Tondwalkar on 17 October 2019, 00:19:16 UTC, committed by Anish Tondwalkar on 17 October 2019, 00:19:16 UTC
1 parent 3b31634
stack.yaml
resolver: lts-14.0
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
![swh spinner](/static/img/swh-spinner.gif)
Computing file changes ...