Skip to content

NAL Rules

PtrMan edited this page Apr 25, 2020 · 10 revisions

Procedural

goal deduction (backward)

a!
(&/, x, y) =/> a
|- ded
(&/, x, y)!

revision

Clone this wiki locally