| .. |
|
matrixShapedTerminationOrder
|
aa2eb80543
Disabled matrix-shaped orders in the termination checker. Fixes issue 787.
|
11 vuotta sitten |
|
CoPatWith.agda
|
dcd3b453cb
[ fix-agda-whithespace ] Added .agda, .cabal and .md files.
|
10 vuotta sitten |
|
Copatterns.agda
|
dcd3b453cb
[ fix-agda-whithespace ] Added .agda, .cabal and .md files.
|
10 vuotta sitten |
|
FlexInterpreter.agda
|
cc0e38df20
[ #1918 ] Removed unnecessary occurrences of `no-coverage-check`.
|
8 vuotta sitten |
|
Issue2331.agda
|
44a8bd68f6
Feature #2331 deactivated due to unsoundness.
|
7 vuotta sitten |
|
Makefile
|
a385f9e26b
New option --copatterns.
|
13 vuotta sitten |
|
Tree.agda
|
dcd3b453cb
[ fix-agda-whithespace ] Added .agda, .cabal and .md files.
|
10 vuotta sitten |
Andreas Abel
44a8bd68f6
Feature #2331 deactivated due to unsoundness.