typesetting/contract.rkt at 3fd8cefdde32d68ba76ee35255be7cc0befa7ac1 - typesetting - Gitea: Git with a cup of tea

You cannot select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.

5 lines

107 B

Racket

Raw Blame History

 #lang racket/base
 (require racket/contract)
 (provide (all-defined-out))
 (define (option/c x) (or/c #f x))