Revision 251f724ef7ccd34cc4d835d228d5340b9a59f09b authored by Anish Tondwalkar on 19 December 2018, 04:57:12 UTC, committed by Anish Tondwalkar on 19 December 2018, 20:45:42 UTC
- export MonadFresh (..) and runFresh[T] - add instance - prim now correctly usesit to refreshVV
1 parent dc8d3dc
stack.yaml
resolver: lts-12.2
packages:
- '.'
flags: {}
extra-deps:
- tasty-rerun-1.1.12
# liquid-fixpoint and deps
- github: ucsd-progsys/liquid-fixpoint
commit: cd0ebe406c9e995bd2c48d37f5c38701257b6e16
- 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
extra-package-dbs: []
Computing file changes ...