feat: encode let_fun
using a letFun
function
#11093
Job | Run time |
---|---|
1s | |
1s | |
20m 53s | |
21m 11s | |
36m 48s | |
42m 24s | |
36m 7s | |
28m 30s | |
22m 57s | |
41m 11s | |
11m 19s | |
12m 59s | |
23m 2s | |
0s | |
0s | |
4h 57m 23s |