Non-cached promises for Typed/Racket, like delay/name. Should be sound for occurrence typing (unlike delay/name) because only pure functions are allowed.
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
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
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