Symbolverse playground

1. tutorial 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

     1.5. built-in functions
         - atoms and lists

2. computing platforms tour

    2.1. imperative programming
         - truth values: Boolean algebra          - integers: Peano arithmetic          - IMP interpreter

    2.2. functional programming
         - lambda calculus: LC to SKI compiler          - type inference: Hilbert-style proof checker          - program evaluator: SKI calculus interpreter          - putting it all together: STLC implementation

    2.3. logic programming
         - Hilbert program: SKI expressions enumerator