Merge pull request #8 from pmbittner/benjamin-ci-testing #29
pmbittnerAnnotations
3 errors and 1 warning
|
build:
src/Framework/V2/Lang/BCC.agda#L21
Set !=< (𝔽 → Set)
when checking that the expression Bool has type 𝕊
|
|
build:
src/Framework/V2/Lang/CCC.agda#L21
Set !=< (𝔽 → Set)
when checking that the expression ℕ has type 𝕊
|
|
build
Process completed with exit code 1.
|
|
build:
src/Test/Test/VariantList-Completeness.agda#L14
The module Test.Example doesn't export the following:\n _example:_ (did you mean 'Example'?)\nwhen scope checking the declaration\n open import Test.Example using (_example:_)\n
|