| .. |
|
Common
|
a2048ec740
[ examples ] Added some untested examples.
|
%!s(int64=8) %!d(string=hai) anos |
|
Acc.agda
|
683294dfbe
Updated test suite to avoid clashes with new reserved words (∀, λ and →).
|
%!s(int64=16) %!d(string=hai) anos |
|
Mutual.agda
|
6d2a19e2bc
updated examples to new mutual style (some still use old mutual blocks though)
|
%!s(int64=13) %!d(string=hai) anos |
|
Nat.agda
|
683294dfbe
Updated test suite to avoid clashes with new reserved words (∀, λ and →).
|
%!s(int64=16) %!d(string=hai) anos |
|
Ord.agda
|
16d718f113
moved more termination examples
|
%!s(int64=17) %!d(string=hai) anos |
|
StreamEating.agda
|
e205a43e87
Fixed #1209.
|
%!s(int64=6) %!d(string=hai) anos |
|
StructuralOrder.agda
|
7d12e7bfe8
removed bug in termination checker causing call to be collected up to four times
|
%!s(int64=16) %!d(string=hai) anos |
|
TerminationTwoConstructors.agda
|
dcd3b453cb
[ fix-agda-whithespace ] Added .agda, .cabal and .md files.
|
%!s(int64=10) %!d(string=hai) anos |
|
Tuple.agda
|
f579af2a84
removed termination examples with constructor names not mattering
|
%!s(int64=16) %!d(string=hai) anos |
|
simplified-comb.agda
|
a2048ec740
[ examples ] Added some untested examples.
|
%!s(int64=8) %!d(string=hai) anos |
Nils Anders Danielsson
e205a43e87
Fixed #1209.