The frtime language supports declarative construction of reactive systems in a syntax very similar to that of Racket. It extends racket. Within DrRacket, as an alternative to using #lang frtime, you can choose FrTime from the Choose Language menu. This reference document describes the functionality provided by the language; for details of the design and semantic model, consult the accompanying res