Liquid Haskell (Q65087872)
Jump to navigation
Jump to search
software verification tool for Haskell using refinement types
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Liquid Haskell |
software verification tool for Haskell using refinement types |
Statements
0.8.10.1
6 August 2020
1 reference
15 December 2022
Release 0.8.10.1 (English)
6 August 2020
8.2.1
19 March 2019
1 reference
15 December 2022
Release 8.2.1 (English)
19 March 2019
8.4.3
19 March 2019
1 reference
15 December 2022
Release 8.4.3 (English)
19 March 2019
8.6.5
3 June 2020
1 reference
15 December 2022
Release 8.6.5 (English)
3 June 2020
8.10.2
3 November 2021
1 reference
15 December 2022
Release 8.10.2 (English)
3 November 2021
9.0.2
4 February 2023
1 reference
16 February 2023
Release 9.0.2 (English)
4 February 2023
9.2.5
18 October 2023
1 reference
19 October 2023
Release 9.2.5 (English)
18 October 2023
9.2.8
17 November 2023
1 reference
18 November 2023
Release 9.2.8 (English)
17 November 2023
Identifiers
Sitelinks
Wikipedia(1 entry)
- enwiki Liquid Haskell