|
|
@ -1,11 +1,8 @@
|
|
|
|
(meditations
|
|
|
|
(meditations
|
|
|
|
"We shall contemplate truth by testing reality, via equality."
|
|
|
|
"We shall contemplate truth by testing reality, via equality."
|
|
|
|
(= true false)
|
|
|
|
(= __ true)
|
|
|
|
|
|
|
|
|
|
|
|
"To understand reality, we must compare our expectations against reality."
|
|
|
|
"To understand reality, we must compare our expectations against reality."
|
|
|
|
(= 0 (+ 1 1))
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
"Sometimes we will ask you to fill in the values"
|
|
|
|
|
|
|
|
(= __ (+ 1 1))
|
|
|
|
(= __ (+ 1 1))
|
|
|
|
|
|
|
|
|
|
|
|
"You can test equality of many things"
|
|
|
|
"You can test equality of many things"
|
|
|
|