LiquidHaskell Files

Liquid Types For Haskell

This is an exact mirror of the LiquidHaskell project, hosted at https://github.com/ucsd-progsys/liquidhaskell. SourceForge is not affiliated with LiquidHaskell.

The interactive file manager requires Javascript. Please enable it or use sftp or scp.
You may still browse the files here.

Name	Modified	Size	InfoDownloads / Week
Parent folder
First version to build with GHC 9.12.2 source code.tar.gz	2025-03-22	34.0 MB	0
First version to build with GHC 9.12.2 source code.zip	2025-03-22	35.5 MB	0
README.md	2025-03-22	289 Bytes	0
Totals: 3 Items		69.5 MB	0

Simplify kvar solutions in fqout files liquid-fixpoint#741.
Upgrade ghc to 9.12.2 #2474.

Source: README.md, updated 2025-03-22

Other Useful Business Software

Go From AI Idea to AI App Fast

One platform to build, fine-tune, and deploy ML models. No MLOps team required.

Access Gemini 3 and 200+ models. Build chatbots, agents, or custom models with built-in monitoring and scaling.

Try Free

Our Free Plans just got better! | Auth0

With up to 25k MAUs and unlimited Okta connections, our Free Plan lets you focus on what you do best—building great apps.

You asked, we delivered! Auth0 is excited to expand our Free and Paid plans to include more options so you can focus on building, deploying, and scaling applications without having to worry about your security. Auth0 now, thank yourself later.

Try free now

Go From AI Idea to AI App Fast

One platform to build, fine-tune, and deploy ML models. No MLOps team required.

Access Gemini 3 and 200+ models. Build chatbots, agents, or custom models with built-in monitoring and scaling.

Try Free

Recommended Projects

Yesod
A RESTful Haskell web framework built on WAI
Obelisk
Functional reactive web and mobile applications, with batteries
Brute Force Binary Tester
BFBTester is great for doing quick, proactive, security checks of binary programs. BFBTester will perform checks of single and multiple argument command line overflows and environment variable overflows. Versions 2.0-BETA and higher can also watch for tem
Hacker Laws
Laws, theories, principles and patterns useful to developers
Combinatorics.jl
A combinatorics library for Julia

LiquidHaskell Files

Liquid Types For Haskell

Get an email when there's a new version of LiquidHaskell