Issues du dépôt

ucsd-progsys/liquidhaskell

Liquid Types For Haskell

Voir sur GitHub
Stars
 (1 306 stars)
Forks
 (157 forks)
Issues indexées
 (20 issues indexées)
issues débutant ouvertes
 (20 issues débutant ouvertes)
Dernière indexation
4 juil. 2026
Dernier push GitHub
15 mai 2026
Licence
BSD 3-Clause "New" or "Revised" License
Guide de contribution
Aucun guide de contribution
Code de conduite
Aucun code de conduite
Langage principal
Haskell
Métriques de merge PR
 (Merge moyen 2j 18h) (12 PRs mergées en 30 j)
Labels débutant
good first issue

Issues

20 issues indexées ouvertes

RSSAtom
Ouverte
Cannot parse `GHC.Types.:`
good first issue

ucsd-progsys/liquidhaskell #2 193 ouverte 7 juil. 2023 · Haskell · 1 306 stars

Pourquoi recommandéeAucune personne assignée · Label adapté aux débutants
Aucune personne assignéeLabel adapté aux débutants
13 commentaires0 réactions0 assignés
Ouverte
Collect bfq files in CI
good first issue

ucsd-progsys/liquidhaskell #2 020 ouverte 29 juin 2022 · Haskell · 1 306 stars

Pourquoi recommandéeAucune personne assignée · Label adapté aux débutants
Aucune personne assignéeLabel adapté aux débutants
4 commentaires0 réactions0 assignés
Ouverte
Recover some tests of parsing errors
good first issue

ucsd-progsys/liquidhaskell #2 009 ouverte 16 juin 2022 · Haskell · 1 306 stars

Pourquoi recommandéeAucune personne assignée · Aucun commentaire pour l'instant
Aucune personne assignéeAucun commentaire pour l'instantLabel adapté aux débutants
0 commentaires0 réactions0 assignés
Ouverte
LIQUIDHASKELL_OPTS can hold only one argument
good first issue

ucsd-progsys/liquidhaskell #1 990 ouverte 30 mai 2022 · Haskell · 1 306 stars

Pourquoi recommandéeAucune personne assignée · Aucun commentaire pour l'instant
Aucune personne assignéeAucun commentaire pour l'instantLabel adapté aux débutants
0 commentaires0 réactions0 assignés
Ouverte
Cannot parse specification
good first issue

ucsd-progsys/liquidhaskell #1 781 ouverte 22 oct. 2020 · Haskell · 1 306 stars

Pourquoi recommandéeAucune personne assignée · Aucun commentaire pour l'instant
Aucune personne assignéeAucun commentaire pour l'instantLabel adapté aux débutants
0 commentaires0 réactions0 assignés
Ouverte
Question about Dependent Sums
errormsggood first issue

ucsd-progsys/liquidhaskell #1 615 ouverte 14 févr. 2020 · Haskell · 1 306 stars

Pourquoi recommandéeAucune personne assignée · Label adapté aux débutants
Aucune personne assignéeLabel adapté aux débutants
9 commentaires0 réactions0 assignés