Non-cached promises for Typed/Racket, like delay/name. Should be sound for occurrence typing (unlike delay/name) because only pure functions are allowed.
-
Notifications
You must be signed in to change notification settings - Fork 1
Non-cached promises for Typed/Racket, like delay/name, but safe because only pure functions are allowed. Only a subset of Racket's functions is allowed.
License
CC0-1.0, Unknown licenses found
Licenses found
CC0-1.0
LICENSE.txt
Unknown
LICENSE-more.md
SuzanneSoy/delay-pure
Folders and files
| Name | Name | Last commit message | Last commit date | |
|---|---|---|---|---|
Repository files navigation
About
Non-cached promises for Typed/Racket, like delay/name, but safe because only pure functions are allowed. Only a subset of Racket's functions is allowed.
Topics
Resources
License
CC0-1.0, Unknown licenses found
Licenses found
CC0-1.0
LICENSE.txt
Unknown
LICENSE-more.md
Stars
Watchers
Forks
Releases
No releases published
Packages 0
No packages published