syndicate-lang
/
syndicate-2017
1
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity

more set operations

This commit is contained in:
Sam Caldwell 2019-05-16 15:52:15 -04:00
parent 5310956848
commit fd40ab2e52
1 changed files with 6 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
racket/typed/set.rkt
View File

@ -11,10 +11,14 @@
set-subtract
set-intersect
list->set
set->list)
set->list
(typed-out [[set-first- : (∀ (X) (→fn (Set X) X))]
set-first]
[[set-empty?- : (∀ (X) (→fn (Set X) Bool))]
set-empty?]))
(require "core-types.rkt")
(require (only-in "prim.rkt" Int))
(require (only-in "prim.rkt" Int Bool))
(require (only-in "list.rkt" ~List))
(require (postfix-in - racket/set))