Update to Agda 2.6.4 #334
plt-amy
This run and associated checks have been archived and are scheduled for deletion.
Learn more about checks retention
Annotations
8 warnings
|
ubuntu-latest / ghc 9.2.5
• No explicit implementation for
|
|
ubuntu-latest / ghc 9.2.5
Pattern match is redundant
|
|
ubuntu-latest / ghc 8.8.4
• No explicit implementation for
|
|
ubuntu-latest / ghc 9.4.3
• No explicit implementation for
|
|
ubuntu-latest / ghc 9.4.3
Pattern match is redundant
|
|
ubuntu-latest / ghc 8.6.5
• No explicit implementation for
|
|
ubuntu-latest / ghc 9.0.2
• No explicit implementation for
|
|
ubuntu-latest / ghc 8.10.7
• No explicit implementation for
|