Commit Graph

6 Commits

Author SHA1 Message Date
KtorZ 5b0a1716b5
Fix mk_starts and second_last in knights benchmarks.
mk_starts was not yielding enough values. It's originally a translation of a double list comprehension in Haskell, which cannot simply be translated to a map2. The latter combine elements two by two, but the former works through all possible permutations.
2024-07-17 12:52:29 +02:00
KtorZ 65afb11546
Implement quicksort on chess board.
Note that it might be easier / cheaper to serialize and compare bytes?
2024-07-17 12:52:29 +02:00
KtorZ f2ff9a2ee3
Review knights benchmark and update dependencies. 2024-07-17 12:52:29 +02:00
microproofs 1d16cbf386
more benchmark work 2024-07-17 12:52:29 +02:00
microproofs c62821e02a
continue porting over knights example 2024-07-17 12:52:29 +02:00
microproofs 8f825f68b1
commit new example for benchmarking 2024-07-17 12:52:28 +02:00