modal/examples/test.modal

<> (?x dup) (?x ?x)
<> (?x ?y swap) (?y ?x)

foo ((A B swap) dup)
Writing registers 2024-04-04 15:20:06 -04:00			`<> (?x dup) (?x ?x)`
Skip empty rules 2024-04-04 17:55:51 -04:00			`<> (?x ?y swap) (?y ?x)`
Updated python source 2024-04-01 20:17:53 -04:00
* 2024-04-04 17:48:04 -04:00			`foo ((A B swap) dup)`