ci/config.sh · 332e19df39a48aed59725a0838a2efc91c9602b4 · Glasgow Haskell Compiler / head.hackage · GitLab

Feb 08, 2024
332e19df
List liquidhaskell-boot and liquidhaskell as broken in versions other than HEAD · 332e19df
Facundo Domínguez authored Feb 08, 2024
```
The different compilers use different versions of
liquidhaskell at the moment.
```
332e19df
List liquidhaskell-boot and liquidhaskell as broken in versions other than HEAD
Facundo Domínguez authored Feb 08, 2024
```
The different compilers use different versions of
liquidhaskell at the moment.
```