#lang typed/racket/base
(provide version)
(: version String)
(define version "1.0")