(*
** Course: Concepts of Programming Languages (BU CAS CS 320)
** Semester: Summer I, 2009
** Instructor: Hongwei Xi (hwxi AT cs DOT bu DOT edu)
*)

//
// Assignment three (Due: Monday, June 8, 2009)
//
// Total points: 180 points
//

(* ****** ****** *)

staload "assignment3.sats"
staload _(*anonymous*) = "assignment3_solu.dats"

(* ****** ****** *)

dynload "assignment3_solu.dats"

(* ****** ****** *)

implement main () = ()

(* ****** ****** *)

(* end of [assignment3_test.dats] *)