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