Hello Haskell community, I am a candidate for GSOC 2025. I was going through the project “Qualified aliases in liquid Haskell”. I have been stuck in the installation part from the past 2 days.
Installing z3 was a challenging task for me, I encountered countless errors went through solving each one of them. At last, I was able to install it.
I was following the steps in the installation guide of liquid haskell.
First I tried installing it via adding liquid haskell in the build-depends section of the .cabal file and then installing it through VSCode commands using the Example project given in the installation guide. I could not resolve it even after spending hours on it.
Then I tried installing by cloning the github repository of liquid haskell.
I even created a github issue : Issue.
I request Haskell community and @facundominguez to please help me through this issue, as I really want to work on this project.
I hope this will help.