| .. |
|
Coverage.agda
|
c1eb642726
reduced the complexity of the pattern match benchmark
|
%!s(int64=13) %!d(string=hai) anos |
|
Functor.agda
|
48473b335d
An example that should arguably typecheck faster.
|
%!s(int64=15) %!d(string=hai) anos |
|
FunctorComposition.agda
|
2c0cd80c2e
Another example which ought to type check faster.
|
%!s(int64=14) %!d(string=hai) anos |
|
Ids.agda
|
aa5aab127b
Added a toy benchmark.
|
%!s(int64=11) %!d(string=hai) anos |
|
InstanceArgs.agda
|
0e698c35fb
Add benchmark for instance argument search
|
%!s(int64=3) %!d(string=hai) anos |
|
LateMetaVariableInstantiation.agda
|
dcd3b453cb
[ fix-agda-whithespace ] Added .agda, .cabal and .md files.
|
%!s(int64=10) %!d(string=hai) anos |
|
SlowOccurrences.agda
|
b0591e545a
Another comment related to performance.
|
%!s(int64=8) %!d(string=hai) anos |
|
SlowOccurrences2.agda
|
93b3c63394
Removed some potential sources of quadratic behaviour.
|
%!s(int64=8) %!d(string=hai) anos |
|
UniversePolymorphicFunctor.agda
|
76730c04f7
fixed broken benchmark examples
|
%!s(int64=10) %!d(string=hai) anos |
Charles Ruhland
0e698c35fb
Add benchmark for instance argument search