Skip to content
CI

Introduce typeclasses for weakening, strengthening, and substituting #40

Sign in to view logs

Introduce typeclasses for weakening, strengthening, and substituting

Introduce typeclasses for weakening, strengthening, and substituting #40

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Build Haskell library with nix (agda-core-hs)
19m 21s
Typecheck with Agda with nix (agda-core-lib)
55s
20m 16s