suzanne.soy/typed-racket
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Add comment to simple static contracts.

Browse Source 
original commit: 0be83b6c67fec940b5b31f861b719401a7476056
This commit is contained in:
Eric Dobson 2014-01-11 09:47:08 -08:00
parent 96971157ca
commit 816a72685a
1 changed files with 2 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/static-contracts/combinators/simple.rkt
View File

@ -1,6 +1,8 @@
#lang racket/base
;; Static contracts that are terminal and have no sub parts.
;; Unlike contracts defined with define-terminal-contract, equality of these contracts is based solely
;; on identity. Thus they are most useful for contracts which have no meaningful structure.
;; Ex: (flat/sc #'number?)
(require