We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
Created Predicate language (markdown)
maybe it's ok to take this seriously now ;-)
update to reflect the possible departure of tail calls
clarify a sentence
Clarify "Effect-checking rules"
missing word
Allow non-boolean declared-pure functions
elaborate on "Security" argument
add balanced binary tree example
finish incorporating Dave's suggestions
indent code properly
markup
Add more problems with solution 2
talk about delegating calls
change effect-checking rules
Change "unsafe" to "general", "safe" to "pure", and "pure" to "declared-pure"
Updated Under construction -- don't take this page seriously yet! (mediawiki => markdown)
change check-referentially-opaque to check-volatile
Updated Predicate language (markdown)