Extract Common to HelIO and upgrade docs

.github/workflows/codacy.yml

@@ -0,0 +1,60 @@
+# This workflow uses actions that are not certified by GitHub.
+# They are provided by a third-party and are governed by
+# separate terms of service, privacy policy, and support
+# documentation.
+
+# This workflow checks out code, performs a Codacy security scan
+# and integrates the results with the
+# GitHub Advanced Security code scanning feature.  For more information on
+# the Codacy security scan action usage and parameters, see
+# https://github.com/codacy/codacy-analysis-cli-action.
+# For more information on Codacy Analysis CLI in general, see
+# https://github.com/codacy/codacy-analysis-cli.
+
+name: Codacy Security Scan
+
+on:
+  push:
+    branches: [ master ]
+  pull_request:
+    # The branches below must be a subset of the branches above
+    branches: [ master ]
+  schedule:
+    - cron: '36 4 * * 2'
+
+permissions:
+  contents: read
+
+jobs:
+  codacy-security-scan:
+    permissions:
+      contents: read # for actions/checkout to fetch code
+      security-events: write # for github/codeql-action/upload-sarif to upload SARIF results
+    name: Codacy Security Scan
+    runs-on: ubuntu-latest
+    steps:
+      # Checkout the repository to the GitHub Actions runner
+      - name: Checkout code
+        uses: actions/checkout@v3
+
+      # Execute Codacy Analysis CLI and generate a SARIF output with the security issues identified during the analysis
+      - name: Run Codacy Analysis CLI
+        uses: codacy/codacy-analysis-cli-action@d840f886c4bd4edc059706d09c6a1586111c540b
+        with:
+          # Check https://github.com/codacy/codacy-analysis-cli#project-token to get your project token from your Codacy repository
+          # You can also omit the token and run the tools that support default configurations
+          project-token: ${{ secrets.CODACY_PROJECT_TOKEN }}
+          verbose: true
+          output: results.sarif
+          format: sarif
+          # Adjust severity of non-security issues
+          gh-code-scanning-compat: true
+          # Force 0 exit code to allow SARIF file generation
+          # This will handover control about PR rejection to the GitHub side
+          max-allowed-issues: 2147483647
+
+      # Upload the SARIF file generated in the previous step
+      - name: Upload SARIF results file
+        uses: github/codeql-action/upload-sarif@v2
+        with:
+          sarif_file: results.sarif

.github/workflows/greetings.yml

@@ -0,0 +1,16 @@
+name: Greetings
+
+on: [pull_request_target, issues]
+
+jobs:
+  greeting:
+    runs-on: ubuntu-latest
+    permissions:
+      issues: write
+      pull-requests: write
+    steps:
+    - uses: actions/first-interaction@v1
+      with:
+        repo-token: ${{ secrets.GITHUB_TOKEN }}
+        issue-message: 'Message that will be displayed on users first issue'
+        pr-message: 'Message that will be displayed on users first pull request'

.github/workflows/haskell.yml

@@ -0,0 +1,43 @@
+name: Haskell CI
+
+on:
+  push:
+    branches: [ master ]
+  pull_request:
+    branches: [ master ]
+
+permissions:
+  contents: read
+
+jobs:
+  build:
+
+    runs-on: ubuntu-latest
+
+    steps:
+    - uses: actions/checkout@v3
+    - uses: actions/setup-haskell@v1
+      with:
+        ghc-version: '8.10.3'
+        cabal-version: '3.2'
+
+    - name: Cache
+      uses: actions/cache@v3
+      env:
+        cache-name: cache-cabal
+      with:
+        path: ~/.cabal
+        key: ${{ runner.os }}-build-${{ env.cache-name }}-${{ hashFiles('**/*.cabal') }}-${{ hashFiles('**/cabal.project') }}
+        restore-keys: |
+          ${{ runner.os }}-build-${{ env.cache-name }}-
+          ${{ runner.os }}-build-
+          ${{ runner.os }}-
+
+    - name: Install dependencies
+      run: |
+        cabal update
+        cabal build --only-dependencies --enable-tests --enable-benchmarks
+    - name: Build
+      run: cabal build --enable-tests --enable-benchmarks all
+    - name: Run tests
+      run: cabal test all

.github/workflows/jekyll.yml

@@ -0,0 +1,20 @@
+name: Jekyll site CI
+
+on:
+  push:
+    branches: [ master ]
+  pull_request:
+    branches: [ master ]
+
+jobs:
+  build:
+
+    runs-on: ubuntu-latest
+
+    steps:
+    - uses: actions/checkout@v3
+    - name: Build the site in the jekyll/builder container
+      run: |
+        docker run \
+        -v ${{ github.workspace }}:/srv/jekyll -v ${{ github.workspace }}/_site:/srv/jekyll/_site \
+        jekyll/builder:latest /bin/bash -c "chmod -R 777 /srv/jekyll && jekyll build --future"

.github/workflows/label.yml

@@ -0,0 +1,22 @@
+# This workflow will triage pull requests and apply a label based on the
+# paths that are modified in the pull request.
+#
+# To use this workflow, you will need to set up a .github/labeler.yml
+# file with configuration.  For more information, see:
+# https://github.com/actions/labeler
+
+name: Labeler
+on: [pull_request]
+
+jobs:
+  label:
+
+    runs-on: ubuntu-latest
+    permissions:
+      contents: read
+      pull-requests: write
+
+    steps:
+    - uses: actions/labeler@v4
+      with:
+        repo-token: "${{ secrets.GITHUB_TOKEN }}"

.github/workflows/manual.yml

@@ -0,0 +1,30 @@
+# This is a basic workflow that is manually triggered
+
+name: Manual workflow
+
+# Controls when the action will run. Workflow runs when manually triggered using the UI
+# or API.
+on:
+  workflow_dispatch:
+    # Inputs the workflow accepts.
+    inputs:
+      name:
+        # Friendly description to be shown in the UI instead of 'name'
+        description: 'Person to greet'
+        # Default value if no value is explicitly provided
+        default: 'World'
+        # Input has to be provided for the workflow to run
+        required: true
+
+# A workflow run is made up of one or more jobs that can run sequentially or in parallel
+jobs:
+  # This workflow contains a single job called "greet"
+  greet:
+    # The type of runner that the job will run on
+    runs-on: ubuntu-latest
+
+    # Steps represent a sequence of tasks that will be executed as part of the job
+    steps:
+    # Runs a single command using the runners shell
+    - name: Send greeting
+      run: echo "Hello ${{ github.event.inputs.name }}"

.github/workflows/stale.yml

@@ -0,0 +1,30 @@
+# This workflow warns and then closes issues and PRs that have had no activity for a specified amount of time.
+#
+# You can adjust the behavior by modifying this file.
+# For more information, see:
+# https://github.com/actions/stale
+name: Mark stale issues and pull requests
+
+on:
+  schedule:
+  - cron: '37 8 * * *'
+
+jobs:
+  stale:
+
+    runs-on: ubuntu-latest
+    permissions:
+      issues: write
+      pull-requests: write
+
+    steps:
+    - uses: actions/stale@v5
+      with:
+        repo-token: ${{ secrets.GITHUB_TOKEN }}
+        days-before-stale: 365
+        days-before-close: 365
+        stale-issue-message: 'Stale issue message'
+        stale-pr-message: 'Stale pull request message'
+        stale-issue-label: 'no-issue-activity'
+        stale-pr-label: 'no-pr-activity'
+        operations-per-run: 1

.output/actual/bf/eval/logged/tree/Int16Type/99botles.logged

@@ -13,19 +13,19 @@ dump: Unit
         , [ <+++++++++++>- ]
         , <
         ,
-            [ > [ - ] > [ - ] << [ >+>+<<- ] >> [ <<+>>- ] >>> [ - ] <<<+++++++++<
+            [ >[ - ]>[ - ]<<[ >+>+<<- ]>>[ <<+>>- ]>>>[ - ]<<<+++++++++<
                 [ >>>+<<
-                    [ >+> [ - ] <<- ] > [ <+>- ] > [ <<++++++++++>>>+<- ] <<-<-
-                ] +++++++++> [ <->- ] >>+>
-                [ < [ - ] <<+>>>- ] > [ - ] +<< [ >+>-<<- ] <<< [ >>+>+<<<- ] >>> [ <<<+>>>- ] > [ <+>- ] <<-
-                [ > [ - ] < [ - ] ] >>+<
-                [ > [ - ] <- ] <++++++++ [ <++++++<++++++>>- ] >>> [ >+>+<<- ] >> [ <<+>>- ] < [ <<<<<.>>>>>- ] <<<<<<.>> [ - ] > [ - ] ++++ [ <++++++++>- ] <.>++++ [ <++++++++>- ] <++.>+++++ [ <+++++++++>- ] <.><+++++..--------.-------.>> [ >>+>+<<<- ] >>> [ <<<+>>>- ] < [ <<<<++++++++++++++.>>>>- ] <<<< [ - ] >++++ [ <++++++++>- ] <.>+++++++++ [ <+++++++++>- ] <--.---------.>+++++++ [ <---------->- ] <.>++++++ [ <+++++++++++>- ] <.+++..+++++++++++++.>++++++++ [ <---------->- ] <--.>+++++++++ [ <+++++++++>- ] <--.-.>++++++++ [ <---------->- ] <++.>++++++++ [ <++++++++++>- ] <++++.------------.---.>+++++++ [ <---------->- ] <+.>++++++++ [ <+++++++++++>- ] <-.>++ [ <----------->- ] <.+++++++++++..>+++++++++ [ <---------->- ] <-----.---.>>> [ >+>+<<- ] >> [ <<+>>- ] < [ <<<<<.>>>>>- ] <<<<<<.>>>++++ [ <++++++>- ] <--.>++++ [ <++++++++>- ] <++.>+++++ [ <+++++++++>- ] <.><+++++..--------.-------.>> [ >>+>+<<<- ] >>> [ <<<+>>>- ] < [ <<<<++++++++++++++.>>>>- ] <<<< [ - ] >++++ [ <++++++++>- ] <.>+++++++++ [ <+++++++++>- ] <--.---------.>+++++++ [ <---------->- ] <.>++++++ [ <+++++++++++>- ] <.+++..+++++++++++++.>++++++++++ [ <---------->- ] <-.---.>+++++++ [ <++++++++++>- ] <++++.+++++++++++++.++++++++++.------.>+++++++ [ <---------->- ] <+.>++++++++ [ <++++++++++>- ] <-.-.---------.>+++++++ [ <---------->- ] <+.>+++++++ [ <++++++++++>- ] <--.+++++++++++.++++++++.---------.>++++++++ [ <---------->- ] <++.>+++++ [ <+++++++++++++>- ] <.+++++++++++++.----------.>+++++++ [ <---------->- ] <++.>++++++++ [ <++++++++++>- ] <.>+++ [ <----->- ] <.>+++ [ <++++++>- ] <..>+++++++++ [ <--------->- ] <--.>+++++++ [ <++++++++++>- ] <+++.+++++++++++.>++++++++ [ <----------->- ] <++++.>+++++ [ <+++++++++++++>- ] <.>+++ [ <++++++>- ] <-.---.++++++.-------.----------.>++++++++ [ <----------->- ] <+.---. [ - ] <<<-> [ - ] > [ - ] << [ >+>+<<- ] >> [ <<+>>- ] >>> [ - ] <<<+++++++++<
+                    [ >+>[ - ]<<- ]>[ <+>- ]>[ <<++++++++++>>>+<- ]<<-<-
+                ]+++++++++>[ <->- ]>>+>
+                [ <[ - ]<<+>>>- ]>[ - ]+<<[ >+>-<<- ]<<<[ >>+>+<<<- ]>>>[ <<<+>>>- ]>[ <+>- ]<<-
+                [ >[ - ]<[ - ] ]>>+<
+                [ >[ - ]<- ]<++++++++[ <++++++<++++++>>- ]>>>[ >+>+<<- ]>>[ <<+>>- ]<[ <<<<<.>>>>>- ]<<<<<<.>>[ - ]>[ - ]++++[ <++++++++>- ]<.>++++[ <++++++++>- ]<++.>+++++[ <+++++++++>- ]<.><+++++..--------.-------.>>[ >>+>+<<<- ]>>>[ <<<+>>>- ]<[ <<<<++++++++++++++.>>>>- ]<<<<[ - ]>++++[ <++++++++>- ]<.>+++++++++[ <+++++++++>- ]<--.---------.>+++++++[ <---------->- ]<.>++++++[ <+++++++++++>- ]<.+++..+++++++++++++.>++++++++[ <---------->- ]<--.>+++++++++[ <+++++++++>- ]<--.-.>++++++++[ <---------->- ]<++.>++++++++[ <++++++++++>- ]<++++.------------.---.>+++++++[ <---------->- ]<+.>++++++++[ <+++++++++++>- ]<-.>++[ <----------->- ]<.+++++++++++..>+++++++++[ <---------->- ]<-----.---.>>>[ >+>+<<- ]>>[ <<+>>- ]<[ <<<<<.>>>>>- ]<<<<<<.>>>++++[ <++++++>- ]<--.>++++[ <++++++++>- ]<++.>+++++[ <+++++++++>- ]<.><+++++..--------.-------.>>[ >>+>+<<<- ]>>>[ <<<+>>>- ]<[ <<<<++++++++++++++.>>>>- ]<<<<[ - ]>++++[ <++++++++>- ]<.>+++++++++[ <+++++++++>- ]<--.---------.>+++++++[ <---------->- ]<.>++++++[ <+++++++++++>- ]<.+++..+++++++++++++.>++++++++++[ <---------->- ]<-.---.>+++++++[ <++++++++++>- ]<++++.+++++++++++++.++++++++++.------.>+++++++[ <---------->- ]<+.>++++++++[ <++++++++++>- ]<-.-.---------.>+++++++[ <---------->- ]<+.>+++++++[ <++++++++++>- ]<--.+++++++++++.++++++++.---------.>++++++++[ <---------->- ]<++.>+++++[ <+++++++++++++>- ]<.+++++++++++++.----------.>+++++++[ <---------->- ]<++.>++++++++[ <++++++++++>- ]<.>+++[ <----->- ]<.>+++[ <++++++>- ]<..>+++++++++[ <--------->- ]<--.>+++++++[ <++++++++++>- ]<+++.+++++++++++.>++++++++[ <----------->- ]<++++.>+++++[ <+++++++++++++>- ]<.>+++[ <++++++>- ]<-.---.++++++.-------.----------.>++++++++[ <----------->- ]<+.---.[ - ]<<<->[ - ]>[ - ]<<[ >+>+<<- ]>>[ <<+>>- ]>>>[ - ]<<<+++++++++<
                 [ >>>+<<
-                    [ >+> [ - ] <<- ] > [ <+>- ] > [ <<++++++++++>>>+<- ] <<-<-
-                ] +++++++++> [ <->- ] >>+>
-                [ < [ - ] <<+>>>- ] > [ - ] +<< [ >+>-<<- ] <<< [ >>+>+<<<- ] >>> [ <<<+>>>- ] <>> [ <+>- ] <<-
-                [ > [ - ] < [ - ] ] >>+<
-                [ > [ - ] <- ] <++++++++ [ <++++++<++++++>>- ] >>> [ >+>+<<- ] >> [ <<+>>- ] < [ <<<<<.>>>>>- ] <<<<<<.>> [ - ] > [ - ] ++++ [ <++++++++>- ] <.>++++ [ <++++++++>- ] <++.>+++++ [ <+++++++++>- ] <.><+++++..--------.-------.>> [ >>+>+<<<- ] >>> [ <<<+>>>- ] < [ <<<<++++++++++++++.>>>>- ] <<<< [ - ] >++++ [ <++++++++>- ] <.>+++++++++ [ <+++++++++>- ] <--.---------.>+++++++ [ <---------->- ] <.>++++++ [ <+++++++++++>- ] <.+++..+++++++++++++.>++++++++ [ <---------->- ] <--.>+++++++++ [ <+++++++++>- ] <--.-.>++++++++ [ <---------->- ] <++.>++++++++ [ <++++++++++>- ] <++++.------------.---.>+++++++ [ <---------->- ] <+.>++++++++ [ <+++++++++++>- ] <-.>++ [ <----------->- ] <.+++++++++++..>+++++++++ [ <---------->- ] <-----.---.+++.---. [ - ] <<<
+                    [ >+>[ - ]<<- ]>[ <+>- ]>[ <<++++++++++>>>+<- ]<<-<-
+                ]+++++++++>[ <->- ]>>+>
+                [ <[ - ]<<+>>>- ]>[ - ]+<<[ >+>-<<- ]<<<[ >>+>+<<<- ]>>>[ <<<+>>>- ]<>>[ <+>- ]<<-
+                [ >[ - ]<[ - ] ]>>+<
+                [ >[ - ]<- ]<++++++++[ <++++++<++++++>>- ]>>>[ >+>+<<- ]>>[ <<+>>- ]<[ <<<<<.>>>>>- ]<<<<<<.>>[ - ]>[ - ]++++[ <++++++++>- ]<.>++++[ <++++++++>- ]<++.>+++++[ <+++++++++>- ]<.><+++++..--------.-------.>>[ >>+>+<<<- ]>>>[ <<<+>>>- ]<[ <<<<++++++++++++++.>>>>- ]<<<<[ - ]>++++[ <++++++++>- ]<.>+++++++++[ <+++++++++>- ]<--.---------.>+++++++[ <---------->- ]<.>++++++[ <+++++++++++>- ]<.+++..+++++++++++++.>++++++++[ <---------->- ]<--.>+++++++++[ <+++++++++>- ]<--.-.>++++++++[ <---------->- ]<++.>++++++++[ <++++++++++>- ]<++++.------------.---.>+++++++[ <---------->- ]<+.>++++++++[ <+++++++++++>- ]<-.>++[ <----------->- ]<.+++++++++++..>+++++++++[ <---------->- ]<-----.---.+++.---.[ - ]<<<
             ]
         ] 14
     , unitTape =

.output/actual/bf/eval/logged/tree/Int16Type/fascistHelloWorld.logged

@@ -28,7 +28,7 @@ dump: Unit
         , +
         , +
         ,
-            [ > [ ->+++<<+++> ] << ]
+            [ >[ ->+++<<+++> ]<< ]
         , >
         , -
         , -
@@ -55,7 +55,7 @@ dump: Unit
         , <
         , +
         ,
-            [ > [ +>+ ] >> ]
+            [ >[ +>+ ]>> ]
         , <
         , -
         , -

.output/actual/bf/eval/logged/tree/Int16Type/helloWorld.logged

@@ -9,7 +9,7 @@ dump: Unit
         , +
         , +
         ,
-            [ >++++ [ >++>+++>+++>+<<<<- ] >+>+>->>+ [ < ] <- ]
+            [ >++++[ >++>+++>+++>+<<<<- ]>+>+>->>+[ < ]<- ]
         , >
         , >
         , .

.output/actual/bf/eval/logged/tree/Int16Type/triangle.logged

@@ -40,13 +40,13 @@ dump: Unit
         , <
         , <
         ,
-            [ - [ ->+< ] > [ -<+>>>.<< ] >>>
+            [ -[ ->+< ]>[ -<+>>>.<< ]>>>
                 [
-                    [ ->++++++++ [ >++++<- ] >.<< [ ->+< ] +> [ ->++++++++++<<+> ] >. [ - ] > ]
-                ] +<<<
-                [ - [ ->+< ] +>
-                    [ -<+>>>- [ ->+< ] ++> [ -<-> ] <<< ] <<<<
-                ] ++++++++++.+++. [ - ] <
+                    [ ->++++++++[ >++++<- ]>.<<[ ->+< ]+>[ ->++++++++++<<+> ]>.[ - ]> ]
+                ]+<<<
+                [ -[ ->+< ]+>
+                    [ -<+>>>-[ ->+< ]++>[ -<-> ]<<< ]<<<<
+                ]++++++++++.+++.[ - ]<
             ]
         , +
         , +