typesetting/contract.rkt at 53e1ab3334624a0d4e0d9b7c32c43f667d84f1af - 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))