module demo::lang::logic::\syntax::Propositions

rascal-0.40.17

Usage

import demo::lang::logic::\syntax::Propositions;

Dependencies

extend demo::lang::logic::\syntax::Booleans;
extend lang::std::Id;

syntax Formula

syntax Formula 
  = id: Id name \ "true" \ "false";