Skip to main content
The Rascal Meta Programming Language
Docs
Blog
Release notes
Projects
Team
GitHub
Search
Recipes
demo
lang
turing
turing
l2
examples
l1
Previous
module demo::lang::logic::\syntax::Truth
Next
examples