RemoveAccessTo is buggy?
Abierto
- Lenguaje dominante
- Haskell
- Estrellas
- 83
- Forks
- 16
- Métricas de merge de PR
- Sin PR fusionados en 30 d
Descripción
```
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?
Guía de contribución
No hay ninguna guía de contribución indexada para este repositorio
Evaluación
Este issue todavía no se ha evaluado.