diff options
| -rw-r--r-- | hie.yaml | 3 |
1 files changed, 3 insertions, 0 deletions
@@ -1,5 +1,8 @@ # This is a IDE configuration file which tells IDEs such as `ghcide` how # to set up a GHC API session for this project. # +# To use it in windows systems replace the config with +# cradle: {bios: {program: "./hadrian/hie-bios.bat"}} +# # The format is documented here - https://github.com/mpickering/hie-bios cradle: {bios: {program: "./hadrian/hie-bios"}} |