RemoveAccessTo is buggy?
Ouverte
- Langage dominant
- Haskell
- Étoiles
- 83
- Forks
- 16
- Métriques de merge des PR
- Aucune PR mergée en 30 j
Description
```
RemoveAccessTo l ((l := t) ': lts) = RemoveAccessTo l lts
RemoveAccessTo q ((l := t) ': lts) = (l := t) ': RemoveAccessTo l lts
RemoveAccessTo q '[] = '[]
```
Shouldn't it be `RemoveAccessTo q lts` in the second equation?
Guide de contribution
Aucun guide de contribution indexé pour ce dépôt
Évaluation
Cette issue n'a pas encore été évaluée.