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
README.md	2024-08-24	349 Bytes	0
Version to build with GHC 9.8.2 source code.tar.gz	2024-08-24	34.0 MB	0
Version to build with GHC 9.8.2 source code.zip	2024-08-24	35.5 MB	0
Totals: 3 Items		69.4 MB	0

Support for GHC 9.8.2.
Implement assume-reflect, a feature to assume the reflection of functions in dependencies 2313.
Fixed the polymorphism-related crash in liquid-fixpoint caused by a restrictive theory encoding #2272.

Source: README.md, updated 2024-08-24

Other Useful Business Software

Gemini 3 and 200+ AI Models on One Platform

Access Google's best plus Claude, Llama, and Gemma. Fine-tune and deploy from one console.

Build, govern, and optimize agents and models with Gemini Enterprise Agent Platform.

Start Free

$300 in Free Credit Towards Top Cloud Services

Build VMs, containers, AI, databases, storage—all in one place.

Start your project in minutes. After credits run out, 20+ products include free monthly usage. Only pay when you're ready to scale.

Get Started

Gemini 3 and 200+ AI Models on One Platform

Access Google's best plus Claude, Llama, and Gemma. Fine-tune and deploy from one console.

Build, govern, and optimize agents and models with Gemini Enterprise Agent Platform.

Start 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