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.
Go to file
2021-02-26 13:05:21 +00:00
private Fixed incompatibility with recent versions 2021-02-26 03:07:19 +00:00
scribblings Changed my name :) 2021-02-26 03:09:13 +00:00
test Temporary hack: allow unsafe-undefined 2018-06-03 12:29:28 +02:00
.gitignore Squashed old commits. 2017-03-31 20:02:15 +02:00
.travis.yml include Racket 8.0 in install-racket.sh script 2021-02-26 13:05:21 +00:00
info.rkt Changed my name :) 2021-02-26 03:09:13 +00:00
LICENSE-more.md Changed my name :) 2021-02-26 03:09:13 +00:00
LICENSE.txt Squashed old commits. 2017-03-31 20:02:15 +02:00
main.rkt Squashed old commits. 2017-03-31 20:02:15 +02:00
README.md Updated maintenance badge for 2018 2018-01-27 12:35:12 +01:00

Build Status, Coverage Status, Build Stats, Online Documentation. Maintained as of 2018, License: CC0 v1.0.

delay-pure

Non-cached promises for Typed/Racket, like delay/name. Should be sound for occurrence typing (unlike delay/name) because only pure functions are allowed.