(* Types, Values, and Effects *) 3 ; 3 + 4 ; 4 div 3 ; 4 mod 3 ; size 45 ; #"1" + 1 ; #"2" ^ "1" ; 3.14 + 2 ; if 1<2 then "less" else "greater" ; if 1<2 then 0 else 1 div 0 ;