Skip to content

[pre-commit.ci] auto fixes from pre-commit.com hooks

2b66cad
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
Open

paragraph on normal order reduction in Untyped chapter #962

[pre-commit.ci] auto fixes from pre-commit.com hooks
2b66cad
Select commit
Loading
Failed to load commit list.

Annotations

11 warnings
Build with older Agda 2.6.4.3
succeeded Jan 16, 2026 in 31m 29s