www

Unnamed repository; edit this file 'description' to name the repository.
Log | Files | Refs | README

between.rkt (149B)

      1 #lang typed/racket/base
      2 
      3 (provide between/c)
      4 
      5 (: between/c (→ Real Real (→ Real Boolean)))
      6 (define ((between/c a b) v)
      7   (and (<= a v) (<= v b)))