Revision cd20f0cdff4d5cbcebe9aaf7e7d3db00d9dcdbb0 authored by mkolosick on 09 September 2019, 21:24:19 UTC, committed by mkolosick on 09 September 2019, 21:24:19 UTC
Needed to pull loop invariant into constraint on
implicit parameter of callback.
1 parent 1a405c6
Raw File
stack.yaml
resolver: lts-14.0

packages:
- '.'

flags: {}

extra-deps:
- './liquid-fixpoint/'
# liquid-fixpoint and deps
#- github: ucsd-progsys/liquid-fixpoint
#  commit: 76fad453f5e3c7945179c9e311cc7b9fd9e08f03
- 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

extra-package-dbs: []
back to top