Skip to content
Profile Library Typechecking

Add reference to MRR88 in files about apartness relations (#1128) #66

Sign in to view logs

Add reference to MRR88 in files about apartness relations (#1128)

Add reference to MRR88 in files about apartness relations (#1128) #66

Run time

Learn about OS pricing on GitHub Actions
Job Run time
typecheck-performance (ubuntu-latest, 2.6.4)
11m 8s
11m 8s