Agile🔗 i

#lang agile

 

....

is short for:

#lang racket/base

(require(for-syntaxracket/basesyntax/parse)

racket/matchracket/list)

 

....