RemoveAccessTo is buggy?
Đang mở
- Ngôn ngữ chính
- Haskell
- Star
- 83
- Fork
- 16
- Chỉ số merge pull request
- Không có pull request nào được merge trong 30 ngày
Mô tả
```
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?
Hướng dẫn đóng góp
Chưa lập chỉ mục được hướng dẫn đóng góp cho kho mã nguồn này
Đánh giá
Issue này chưa được đánh giá.