blob: d23f66c1c4412b87351f6c0ddaaa4f9d5850d5e5 (
plain)
1
2
3
4
5
|
# This is a IDE configuration file which tells IDEs such as `ghcide` how
# to set up a GHC API session for this project.
#
# The format is documented here - https://github.com/mpickering/hie-bios
cradle: {bios: {program: "./hadrian/hie-bios"}}
|