Clarify equalities a bit
This commit is contained in:
parent
7541c79f83
commit
2e3fead03f
@ -1,10 +1,9 @@
|
|||||||
[["01_equalities" {"__" [true
|
[["01_equalities" {"__" [true
|
||||||
2
|
2
|
||||||
7
|
|
||||||
5
|
5
|
||||||
4/2
|
true
|
||||||
false
|
false
|
||||||
6/3
|
true
|
||||||
3]}]
|
3]}]
|
||||||
|
|
||||||
["02_lists" {"__" [1 2 3 4 5
|
["02_lists" {"__" [1 2 3 4 5
|
||||||
|
@ -6,16 +6,16 @@
|
|||||||
(= __ (+ 1 1))
|
(= __ (+ 1 1))
|
||||||
|
|
||||||
"You can test equality of many things"
|
"You can test equality of many things"
|
||||||
(= (+ 3 4) __ (+ 2 __))
|
(= (+ 3 4) 7 (+ 2 __))
|
||||||
|
|
||||||
"Some things may appear different, but be the same"
|
"Some things may appear different, but be the same"
|
||||||
(= 2 2/1 __)
|
(= __ (= 2 2/1))
|
||||||
|
|
||||||
"You cannot generally float to heavens of integers"
|
"You cannot generally float to heavens of integers"
|
||||||
(= __ (= 2 2.0))
|
(= __ (= 2 2.0))
|
||||||
|
|
||||||
"But a looser equality is also possible"
|
"But a looser equality is also possible"
|
||||||
(== 2.0 2 __)
|
(= __ (== 2.0 2))
|
||||||
|
|
||||||
"When things cannot be equal, they must be different"
|
"When things cannot be equal, they must be different"
|
||||||
(not= :fill-in-the-blank __))
|
(not= :fill-in-the-blank __))
|
||||||
|
Loading…
Reference in New Issue
Block a user