;; The first three lines of this file were inserted by DrScheme. They record metadata
;; about the language level of this file in a form that our tools can easily process.
#reader(lib "htdp-beginner-reader.ss" "lang")((modname 13.3.1) (read-case-sensitive #t) (teachpacks ()) (htdp-settings #(#t constructor repeating-decimal #f #t none #f ())))
; Exercise 13.3.1
; may-drive? : number(age) -> Boolean
(check-expect (may-drive? 15) false)
(check-expect (may-drive? 23) true)
(check-expect (may-drive? 16) true) ; borderline case

(define (may-drive? age)
  ; age a number
  ; 16 a fixed number we’re likely to need
  (>= age 16)
  )