Remove previous version of prove #24
ghostAnnotations
1 error and 1 warning
|
build
Process completed with exit code 1.
|
|
build:
bench/ALBABench.hs#L34
In the use of ‘head’
|