jrslepak

> (:print-type andmap)
(All (a c d b ...)
  (case->
   (-> (-> a c : d) (Listof a) c)
   (-> (-> a b ... b c) (Listof a) (Listof b) ... b (U True c))))


> (λ ([a : Real]
      [b : Symbol]
      [c : Boolean]

jrslepak

#lang scribble/manual

This is a 3-argument curried function.

@defproc[(((lerp [lo number?])
           [hi number?])
          [alpha number?])
         number?]{
 Linear interpolation}