Files

3 lines
76 B
Plaintext
Raw Permalink Normal View History

import "deep3" as m;
import "data" as $d;
def f: [22, m::f, ($d | length)];