p4b-rec-view.aup « probes-027 « 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-027/p4b-rec-view.aup

blob: 05dbca1fdfd23713d53ea152109555c6264ad646 (plain)

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