Skip to main content

The Rascal Meta Programming LanguageDocs Blog Release notes Packages

Projects Team GitHub

Getting Started with Rascal
Getting Help
Recipes
Rascalopedia
Rascal Language Reference
Rascal Amendment Proposals
Why Rascal
Bibliography
Standard Library
Tutor
Package Directory

Recipes
demo
lang
turing

turing

examples
l2
l1

module demo::lang::logic::\syntax::Truth

Docs

Tutorial

Community

Community
Stack Overflow

More

Blog
GitHub

Copyright © 2026 UseTheSource. Built with Docusaurus.