Reasoned Schemer (34) 読み直し

戻ってきましたReasoned Schemer
この前の記事はなんと2018-07-17

ちょっと読んでみてそういえば割り算がやたらと難しかったことを思い出す
もう一度ざーっとはじめから読むことにする
新出単語くらい書いてくか

1. Playthings

goal
succeed #s
fail #u
has no value
run*
fresh fresh
==
The First Law of ==
reify
fuse
occur
The Second Law of ==
conj2
disj2
defrel
relation
conde
The Law of conde

2. Teaching Old Toys New Trics

caro
unnest
cdro
conso
nullo
pairo
singletono
The Translation (Initial)
The Law of #u