2010-02-06 16:49:53 +00:00
|
|
|
(meditations
|
|
|
|
|
"We shall contemplate truth by testing reality, via equality."
|
|
|
|
|
(= true false)
|
2010-02-19 22:14:03 +00:00
|
|
|
|
2010-02-06 16:49:53 +00:00
|
|
|
"To understand reality, we must compare our expectations against reality."
|
|
|
|
|
(= 0 (+ 1 1))
|
|
|
|
|
|
|
|
|
|
"Sometimes we will ask you to fill in the values"
|
2010-02-19 22:14:03 +00:00
|
|
|
(= __ (+ 1 1))
|
|
|
|
|
|
|
|
|
|
"You can test equality of many things"
|
|
|
|
|
(= (+ 3 4) __ (+ 2 _)))
|
