Skip to content

Reduce boxing by using Idris function types #108

Reduce boxing by using Idris function types

Reduce boxing by using Idris function types #108

Annotations

1 warning

Lint Code Base

succeeded Nov 1, 2024 in 1m 41s
Set up job
1s
Pull ghcr.io/github/super-linter:v4.10.0
1m 18s
Checkout Code
3s
Lint Code Base
17s
Post Checkout Code
0s
Complete job
0s