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 はまだ評価されていません。