Skip to content

cabal file? #133

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Open
brittAnderson opened this issue May 2, 2025 · 0 comments
Open

cabal file? #133

brittAnderson opened this issue May 2, 2025 · 0 comments

Comments

@brittAnderson
Copy link

The instructions refer to using cabal v2-build, but that fails without the cabal file. Can you include a minimal liquidhaskell-tutorial.cabal file as well. The dependencies seem to have changed from other, older, online tutorials for liquidhaskell and I am having some trouble getting started. Thank you.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

No branches or pull requests

1 participant