diff options
Diffstat (limited to 'hie.yaml')
| -rw-r--r-- | hie.yaml | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/hie.yaml b/hie.yaml new file mode 100644 index 0000000000..d23f66c1c4 --- /dev/null +++ b/hie.yaml @@ -0,0 +1,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"}} |