Skip to content
nova

Inference for Elem: return the canonical type; Remove nova.ipkg; Fix an indexing bug in Context.idr #9

Sign in to view logs

Inference for Elem: return the canonical type; Remove nova.ipkg; Fix an indexing bug in Context.idr

Inference for Elem: return the canonical type; Remove nova.ipkg; Fix an indexing bug in Context.idr #9

Run time

Learn about OS pricing on GitHub Actions
Job Run time
build-idris2-master-test-our-branch
1m 47s
1m 47s