Skip to content

Unification

Unification #65

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

succeeded Nov 6, 2024 in 58s