Skip to content
GitHub Pages

Add Semantics module: prove Futhark map-fusion law (ABI Layer 2) (#40) #55

Sign in to view logs

Add Semantics module: prove Futhark map-fusion law (ABI Layer 2) (#40)

Add Semantics module: prove Futhark map-fusion law (ABI Layer 2) (#40) #55

Run time

Learn about OS pricing on GitHub Actions
Job Run time
build
25m 7s
deploy
-1s
25m 6s