RemoveAccessTo is buggy?
未关闭
- 主要语言
- Haskell
- 星标
- 83
- 派生
- 16
- PR 合并指标
- 30 天内没有已合并 PR
描述
```
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?
贡献指南
这个仓库没有索引到贡献指南
评估
这个 Issue 还没有评估数据。