RemoveAccessTo is buggy?
Open
- Dominant language
- Haskell
- Stars
- 83
- Forks
- 16
- PR merge metrics
- No merged PRs in 30d
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?
Contributor guide
No contributing guide indexed for this repository
Assessment
This issue has not been assessed yet.