Skip to content
build

Add agda2rust to README #31

Sign in to view logs

Add agda2rust to README

Add agda2rust to README #31

Triggered via push November 21, 2023 11:52
@lemasterolemastero
pushed 3521130
add-agda2rust
Status Success
Total duration 9m 36s
Artifacts –
This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention

haskell.yml

on: push
agda2scala
9m 24s
agda2scala
Fit to window
Zoom out
Zoom in