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