Skip to content
Nix CI

[ re #431 ] Use same strategy for inlining types as for terms #285

Sign in to view logs

[ re #431 ] Use same strategy for inlining types as for terms

[ re #431 ] Use same strategy for inlining types as for terms #285

Typecheck with Agda with nix (containers-lib)

Typecheck with Agda with nix (containers-lib)
succeeded Nov 5, 2025 in 1m 19s