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