Skip to content

Unification

Unification #83

Annotations

1 warning

Typecheck with Agda with nix (agda-core-lib)

succeeded Jan 23, 2025 in 1m 18s