Alexander

this is a bit of an old post but for anyone else looking, there is an example project which shows how stack has to be configured to work with LiquidHaskell:...

Is this issue fixed? I am facing similar issues trying to get the configuration right. I am using: Win10 VSCode 1.74.3 - 97dec172d3256f8ca4bfb2143f3f76b503ca0534 - x64 gradle 8.0.2 Groovy: 3.0.13

I will try to create a simple project to show you my problem the next few days. Thx for responding

my test project: https://github.com/Genlight/javaTest for the local jar dependency you can use any downloaded file you want. What i like to have is an entry beneath 'Dependencies' which lists my...

Hi @facundominguez , sry to chime in on this, but a question arose when looking through this issue. Could this problem also be resolved by using measure instead of reflect?...