Skip to content

Functor.md: contradicting case removed #1456

Functor.md: contradicting case removed

Functor.md: contradicting case removed #1456

Annotations

1 warning

Build stefan-hoeck/idris2-tutorial with pack latest

succeeded Jan 23, 2025 in 35s