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