Agile
7.0

Agile

 #lang agile package: agile

#lang agile
 
....

is short for:

#lang racket/base
(require (for-syntax racket/base syntax/parse)
         racket/match racket/list)
 
....