# 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"}}