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