diff options
| author | Omar Rizwan <omar@omar.website> | 2023-09-24 05:58:05 +0000 |
|---|---|---|
| committer | Omar Rizwan <omar@omar.website> | 2023-09-24 05:59:36 +0000 |
| commit | 3ed6fedd7de492e12f914cfcab4f74adb7e4b3bd (patch) | |
| tree | 47e9e31a980e4f1b2810197756a8974fa72e853a /virtual-programs/errors.folk | |
| parent | trie: Add support for /..rest/ matching (diff) | |
| download | folk-3ed6fedd7de492e12f914cfcab4f74adb7e4b3bd.tar.gz folk-3ed6fedd7de492e12f914cfcab4f74adb7e4b3bd.zip | |
evaluator/main: Speed up peering! Pi 4 7fps -> 12fps on average?
Unify with ...rest patterns. Use for all wishes/claims while
peering. Seems much faster.
Diffstat (limited to 'virtual-programs/errors.folk')
0 files changed, 0 insertions, 0 deletions