Skip to content

Typing rules changes #58

Typing rules changes

Typing rules changes #58

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

succeeded Oct 28, 2024 in 1m 25s