Skip to content

Unification

Unification #69

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

succeeded Nov 12, 2024 in 1m 7s