Symbolverse playground

1. world modeling examples

     1.1. single rule
         - hello machine          - greet entity

     1.2. set of rules
         - toy making decision          - job title decision

     1.3. chaining rules
         - shadows decision          - weighting decision

     1.4. scoped rules
         - planting cyclus          - fun meeting

2. programming examples

     2.1. Booleans and numbers
         - branching choice          - Boolean evaluator          - binary number addition          - binary number comparison

     2.2. operations on lists
         - append element          - replace element          - remove element          - reverse list

3. computing platforms examples

     3.1. functional programming
         - SKI calculus interpreter          - Lambda calculus to SKI compiler

     3.2. logic programming
         - Hilbert-style proof verifier