Skip to content
build

Be explicit about where erasure is actually needed. #21

Sign in to view logs

Be explicit about where erasure is actually needed.

Be explicit about where erasure is actually needed. #21

Triggered via push December 15, 2023 17:16
@tkerbertkerber
pushed 1830fbc
tkerber/examples
Status Success
Total duration 1m 13s
Artifacts –

haskell.yml

on: push
agda2rust
1m 3s
agda2rust
Fit to window
Zoom out
Zoom in