Add new module Dec for decidability proofs (compiled to Bool) #423
Triggered via pull request
December 19, 2023 17:44
jespercockx
Status
Success
Total duration
15m 32s
Artifacts
–
Annotations
10 warnings
|
ubuntu-latest / ghc 9.6.3
• No explicit implementation for
|
|
ubuntu-latest / ghc 9.6.3
Pattern match is redundant
|
|
ubuntu-latest / ghc 9.2.5
• No explicit implementation for
|
|
ubuntu-latest / ghc 9.2.5
Pattern match is redundant
|
|
ubuntu-latest / ghc 9.4.3
• No explicit implementation for
|
|
ubuntu-latest / ghc 9.4.3
Pattern match is redundant
|
|
ubuntu-latest / ghc 9.0.2
• No explicit implementation for
|
|
ubuntu-latest / ghc 8.8.4
• No explicit implementation for
|
|
ubuntu-latest / ghc 8.10.7
• No explicit implementation for
|
|
ubuntu-latest / ghc 8.6.5
• No explicit implementation for
|