zuse: make of-wain:format use linear space

This commit is contained in:
Philip Monk 2019-08-24 20:24:23 -07:00
parent de68c34ea5
commit e2f18afe0a
No known key found for this signature in database
GPG Key ID: B66E1F02604E44EC
2 changed files with 3 additions and 11 deletions

View File

@ -1,3 +1,3 @@
version https://git-lfs.github.com/spec/v1
oid sha256:5c41d46da7d12258f46dee61f7350701600b73f08ac5076c6b070378b3fc9ece
size 15526512
oid sha256:6257ddbfaefc14fce97d214350bb28d370dbc2f0c3c38e79fe61bbc3b6bf5107
size 15382912

View File

@ -5415,15 +5415,7 @@
:: :: ++of-wain:format
++ of-wain :: line list to atom
|= tez/(list @t)
=| {our/@ i/@ud}
|- ^- @
?~ tez
our
?: =(%$ i.tez)
$(i +(i), tez t.tez, our (cat 3 our 10))
?: =(0 i)
$(i +(i), tez t.tez, our i.tez)
$(i +(i), tez t.tez, our (cat 3 (cat 3 our 10) i.tez))
(rap 3 (join '\0a' tez))
:: :: ++of-wall:format
++ of-wall :: line list to tape
|= a/wall ^- tape