Skip to content

Compile dot patterns #277

Compile dot patterns

Compile dot patterns #277

Typecheck with Agda with nix (containers-lib)

succeeded Nov 4, 2025 in 1m 11s