changelog for 0.1.0.3 (#16) #76
Annotations
4 warnings
|
src/Agda/Compiler/Scala/PrintScala3.hs#L32
Pattern match is redundant
|
|
src/Agda/Compiler/Scala/PrintScala2.hs#L35
Pattern match is redundant
|
|
src/Agda/Compiler/Scala/AgdaToScalaExpr.hs#L74
In the use of ‘head’
|
|
src/Agda/Compiler/Scala/AgdaToScalaExpr.hs#L110
Pattern match is redundant
|
The logs for this run have expired and are no longer available.
Loading