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

fix type of empty?

This commit is contained in:
Sam Caldwell 2021-05-06 10:10:25 -04:00
parent 690f9e65a8
commit 3b75881366
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
racket/typed/syndicate/list.rkt
View File

@ -4,7 +4,7 @@
(for-syntax ~List)
list
(typed-out [[empty- : (List ⊥)] empty]
[[empty?- : (∀ (X) (→fn X (List X) Bool))] empty?]
[[empty?- : (∀ (X) (→fn (List X) Bool))] empty?]
[[cons- : (∀ (X) (→fn X (List X) (List X)))] cons]
[[cons?- : (∀ (X) (→fn X (List X) Bool))] cons?]
[[first- : (∀ (X) (→fn (List X) X))] first]