dhall-list-drop

list-drop-test.dhall

let drop = https://prelude.dhall-lang.org/List/drop
let generate = https://prelude.dhall-lang.org/List/generate
let f = \(g : Natural) -> generate g Natural (\(x : Natural) -> x)
in \(g : Natural) -> \(n : Natural) -> drop n Natural (f g)

out.txt

1       1
2       10
3       22
4       46
5       95
6       200
7       436
8       979
9       2227
10      5052

run.sh

for x in {1..10}; do
	printf "$x\t"
	echo "./list-drop-test.dhall $x" | dhall | wc -l
done