/ruleth-paper-resources

Contains additional resources for the RulEth Paper

ruleth-paper-resources

Contains additional resources for the RulEth Paper

DSL

  • ruleth_bnf.txt: This file contains the ruleth language definition in Backus-Naur form. The terminals letter and number are omitted.