Merge remote-tracking branch 'try-phi-origin/main' into main

Author: deemp

.github/workflows/back.yml

@@ -0,0 +1,18 @@
+name: Deploy back end
+
+on:
+  push:
+    branches:
+      - main
+
+jobs:
+  build:
+    runs-on: ubuntu-latest
+    steps:
+      - uses: actions/checkout@v2
+      - uses: akhileshns/heroku-deploy@v3.12.12 # This is the action
+        with:
+          heroku_api_key: ${{secrets.HEROKU_API_KEY}}
+          heroku_app_name: "try-phi-back" #Must be unique in Heroku
+          heroku_email: "${{secrets.HEROKU_EMAIL}}"
+          appdir: "back" # <- This will point to the api folder in your project

.github/workflows/front.yml

@@ -0,0 +1,56 @@
+name: Deploy front end
+
+on:
+  push:
+    branches: [main]
+  pull_request:
+
+jobs:
+  build:
+    defaults:
+        run:
+          working-directory: front
+    runs-on: ubuntu-latest
+
+    steps:
+      - uses: actions/checkout@v2
+
+      - name: Set up Node toolchain
+        uses: actions/setup-node@v1
+        with:
+          node-version: "16.x"
+
+      - name: Cache PureScript dependencies
+        uses: actions/cache@v2
+        with:
+          key: ${{ runner.os }}-spago-${{ hashFiles('**/*.dhall') }}
+          path: |
+            .spago
+            output
+
+      - name: Cache NPM dependencies
+        uses: actions/cache@v2
+        env:
+          cache-name: cache-node-modules
+        with:
+          path: ~/.npm
+          key: ${{ runner.os }}-build-${{ env.cache-name }}-${{ hashFiles('**/package.json') }}
+          restore-keys: |
+            ${{ runner.os }}-build-${{ env.cache-name }}-
+            ${{ runner.os }}-build-
+            ${{ runner.os }}-
+
+      - name: Install NPM dependencies
+        run: npm install
+
+      - name: Build the project
+        run: npm run build:gh-pages
+      
+      - name: GitHub Pages action
+        uses: peaceiris/actions-gh-pages@v3.7.3
+        with:
+          github_token: ${{ secrets.GITHUB_TOKEN }}
+          # example with a default working dir and a publish dir
+          # https://github.com/peaceiris/actions-gh-pages#%EF%B8%8F-docusaurus
+          publish_dir: ./front/docs
+          force_orphan: true

.github/workflows/main.yml

@@ -1,6 +1 @@
-elm-stuff/
-src/Main.js
-.DS_Store
-node_modules/
-.vscode
-/index.html
+.psc*

.gitignore

@@ -0,0 +1,50 @@
+
+{
+  // Automatically created by phoityne-vscode extension.
+
+  "version": "2.0.0",
+  "presentation": {
+    "reveal": "always",
+    "panel": "new"
+  },
+  "tasks": [
+    {
+      // F7
+      "group": {
+        "kind": "build",
+        "isDefault": true
+      },
+      "label": "haskell build",
+      "type": "shell",
+      //"command": "cabal configure && cabal build"
+      "command": "stack build"
+    },
+    {
+      // F6
+      "group": "build",
+      "type": "shell",
+      "label": "haskell clean & build",
+      //"command": "cabal clean && cabal configure && cabal build"
+      "command": "stack clean && stack build"
+      //"command": "stack clean ; stack build"  // for powershell
+    },
+    {
+      // F8
+      "group": {
+        "kind": "test",
+        "isDefault": true
+      },
+      "type": "shell",
+      "label": "haskell test",
+      //"command": "cabal test"
+      "command": "stack test"
+    },
+    {
+      // F6
+      "isBackground": true,
+      "type": "shell",
+      "label": "haskell watch",
+      "command": "stack build --test --no-run-tests --file-watch"
+    }
+  ]
+}

.vscode/tasks.json

@@ -0,0 +1,45 @@
+# Try-phi
+
+This is an experimental interpreter for a variant of 𝜑-calculus.
+Right now we implement it as a term rewriting system.
+
+It is combined with [EO](https://github.com/objectionary/eo) editor. EO is based on 𝜑-calculus.
+
+## Usage
+
+- The online playground is available [here](https://br4ch1st0chr0n3.github.io/try-phi/?editor=phi&snippet=%5B%0A%20%20a%20-%3E%203%2C%0A%20%20b%20-%3E%20%5E0.a%0A%5D.b)
+
+## Components
+
+- [Front end](./front/)
+- [Back end](./back/)
+
+## Development
+
+- Install dependencies
+
+  - [Back end](./back/README.md#dependencies)
+  - [Front end](./back/README.md#dependencies)
+
+- Build the server and front end
+
+  ```sh
+  sh build.sh
+  ```
+
+- Run the server and front end in separate terminals to see separate logs:
+
+  ```sh
+  sh run_server.sh
+  sh run_front.sh
+  ```
+
+## References
+
+- [Add](https://git-scm.com/book/en/v2/Git-Tools-Submodules) a submodule
+- Clone [nested submodules](https://stackoverflow.com/a/6562038)
+- Convert a submodule to a folder while preserving its history: [src](https://medium.com/walkme-engineering/how-to-merge-a-git-submodule-into-its-main-repository-d83a215a319c)
+- Get info about forks: [gitpop3](https://andremiras.github.io/gitpop3/)
+- "[Automating](https://brandonchinn178.github.io/blog/2022/05/19/automating-fourmolu-releases-with-github-actions.html) Fourmolu releases" - use Python for CI
+- Build a subdirectory: [buildpack](https://elements.heroku.com/buildpacks/timanovsky/subdir-heroku-buildpack)
+- Deploy to Heroku: GH [action](https://github.com/marketplace/actions/deploy-to-heroku?version=v3.12.12)

README.md

@@ -0,0 +1,2 @@
+:set -isrc
+:load app/Main.hs

back/.ghci

@@ -0,0 +1,2 @@
+-W
+-r=:main

back/.ghcid

@@ -0,0 +1 @@
+.stack-work