Skip to content
Sphinx

Reduce boxing by using Idris function types #17

Sign in to view logs

Reduce boxing by using Idris function types

Reduce boxing by using Idris function types #17

Triggered via push November 1, 2024 22:03
@mmhelloworldmmhelloworld
pushed 11fec8f
main
Status Success
Total duration 28s
Artifacts –

ci-sphinx.yml

on: push
Sphinx
19s
Sphinx
Fit to window
Zoom out
Zoom in