Node Deletion Theorem: a precise rule for pruning nodes in recursive data types

Heykuki News

2 points

a year ago

1 comment

Threaded

Loading comments...

Node Deletion Theorem: a precise rule for pruning nodes in recursive data types | Heykuki News