We are hiring ! See our job offers.
Revision 163b81570ce2e07a5466ac0b578b0b95419f1117 authored by mkolosick on 16 November 2019, 17:37:16 UTC, committed by mkolosick on 16 November 2019, 17:37:16 UTC
1 parent d4c6f6f
Raw File
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
back to top