| .. |
|
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.
|
15 роки тому |
|
Ids.agda
|
aa5aab127b
Added a toy benchmark.
|
11 роки тому |
|
InstanceArgs.agda
|
0e698c35fb
Add benchmark for instance argument search
|
4 роки тому |
|
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
|
11 роки тому |
Charles Ruhland
0e698c35fb
Add benchmark for instance argument search