Skip to content
Nix CI

Require dependencies when inductives are in types #28

Sign in to view logs

Require dependencies when inductives are in types

Require dependencies when inductives are in types #28

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Compile agda2lambox with nix (agda2lambox)
46s
46s