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