RemoveAccessTo is buggy?
Offen
- Vorherrschende Sprache
- Haskell
- Sterne
- 83
- Forks
- 16
- PR-Merge-Kennzahlen
- Keine gemergten PRs in 30 T.
Beschreibung
```
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?
Beitragsleitfaden
Für dieses Repository ist kein Beitragsleitfaden indexiert
Bewertung
Dieses Issue wurde noch nicht bewertet.