p4-rec.aup « probes « 044-specs « experiments « research - pure - Verified execution runtime unifying state, persistence, and replication.

about summary refs log tree commit diff stats

path: root/research/experiments/044-specs/probes/p4-rec.aup

blob: 753eaff23bfb2bb05514153b2656ca66d3075e5b (plain)

1 2	`fn depth(n) = if n == 0 { 0 } else { 1 + depth(n - 1) } view d = depth(3)`