Actions: agda/agda2hs
Actions
Showing runs from all workflows
665 workflow runs
665 workflow runs
Let
that is compiled to let
in Haskell
CI
#413:
Pull request #252
opened
by
jespercockx
coerce
primitive
CI
#406:
Commit ef4d175
pushed
by
jespercockx
coerce
primitive
Docs
#79:
Commit ef4d175
pushed
by
jespercockx
ProTip!
You can narrow down the results and go further in time using created:<2023-12-01 or the other filters available.