Svoboda | Graniru | BBC Russia | Golosameriki | Facebook

To install click the Add extension button. That's it.

The source code for the WIKI 2 extension is being checked by specialists of the Mozilla Foundation, Google, and Apple. You could also do it yourself at any point in time.

How to transfigure the Wikipedia

Would you like Wikipedia to always look as professional and up-to-date? We have created a browser extension. It will enhance any encyclopedic page you visit with the magic of the WIKI 2 technology.

Try it — you can delete it anytime.

Install in 5 seconds

Yep, but later

4,5

Kelly Slayton

Congratulations on this excellent venture… what a great idea!

Alexander Grigorievskiy

I use WIKI 2 every day and almost forgot how the original Wikipedia looks like.

Live Statistics

English Articles

Improved in 24 Hours

Added in 24 Hours

What we do. Every page goes through several hundred of perfecting techniques; in live mode. Quite the same Wikipedia. Just better.

Great Wikipedia has got greater.

.

Leo

Newton

Brights

Milds

Liquid Haskell

From Wikipedia, the free encyclopedia

Liquid Haskell
Original author(s)	Niki Vazou, Eric Seidel Ranjit Jhala
Initial release	2014; 10 years ago (2014)

Stable release	0.9.2.5 / October 18, 2023; 3 months ago (2023-10-18)

Repository	github.com/ucsd-progsys/liquidhaskell
Written in	Haskell
Available in	English
Type	Formal program verifier
License	BSD 3-clause
Website	ucsd-progsys.github.io/liquidhaskell

Liquid Haskell is a program verifier for the programming language Haskell which allows specifying correctness properties by using refinement types.^[1]^[2] Properties are verified using a satisfiability modulo theories (SMT) solver which is SMTLIB2-compliant, such as the Z3 Theorem Prover.

See also

Formal verification

References

^ Vazou, Niki (2016). Liquid Haskell: Haskell as a theorem prover (Thesis). University of California.
^ Vazou, Niki; Seidel, Eric (2014). "Refinement types for Haskell". Proceedings of the 19th ACM SIGPLAN International Conference on Functional Programming. International Conference on Functional Programming. ACM. pp. 269–282. doi:10.1145/2692915.2628161.

Löh, Andres (2018). Liquid Haskell Workshop. BOB 2018.
Jhala, Ranjit (2014). Liquid Haskell. Boston Haskell User Group.

Further reading

Vazou, Niki (2018). Liquid Haskell: Refinement Types for Haskell. The 45th ACM SIGPLAN Symposium on Principles of Programming Languages (POPL 2018).
Diatchki, Iavor (2015). "Improving Haskell types with SMT". Proceedings of the 8th ACM SIGPLAN Symposium on Haskell - Haskell 2015. ACM. pp. 1–10. doi:10.1145/2804302.2804307. ISBN 9781450338080. S2CID 16429107.

External links

"Liquid Haskell - HaskellWiki". wiki.haskell.org. Retrieved 31 March 2019.
Liquid Haskell on GitHub

Haskell programming

Implementations
(features)

Generic Haskell°
Glasgow Haskell Compiler°
- Template Haskell°
Gofer° → Hugs°
Pugs°
York Haskell Compiler° (Yhc)

Agda° Concurrent Haskell° Cryptol° Curry° Hume° Idris° Ωmega° Orwell° TidalCycles°
Electronic design	Atom° Bluespec SystemVerilog (BSV)

Package managers

Cabal°
Stack°

Windowing systems

Eponym	Haskell Curry

Italics = discontinued

° = Open-source software

Book

Category:Family

Category:Software

This formal methods-related article is a stub. You can help Wikipedia by expanding it.

This free and open-source software article is a stub. You can help Wikipedia by expanding it.

This page was last edited on 11 January 2024, at 15:28

Basis of this page is in Wikipedia. Text is available under the CC BY-SA 3.0 Unported License. Non-text media are available under their specified licenses. Wikipedia® is a registered trademark of the Wikimedia Foundation, Inc. WIKI 2 is an independent company and has no affiliation with Wikimedia Foundation.

Terms of Service

Wikipedia Makes No Guarantee of Validity