(* Code for Lecture 1: Evaluation and Typing *)
(* Author: Frank Pfenning *)

(* Booleans *)
true : bool;
false : bool;

(* Integers *)
~1 : int; (* NOT -1 *)
4 : int;
~3+2 : int;
5 div 2 : int;

(* Reals *)
3.14 : real
5.0 / 2.0 : real (* NOT 5 / 2 *)