idris-0.9.20.2: stack.yaml

resolver: lts-3.16
packages:
- '.'
flags:
  # idris:
  #   FFI: true
  #   GMP: True
  #   curses: True
extra-deps: 
- annotated-wl-pprint-0.7.0
- cheapskate-0.1.0.4
# - hscurses-1.4.2.0
# - libffi-0.1