Rebuild Pikelet using normalization by evaluation

.github/workflows/ci.yml

@@ -0,0 +1,125 @@
+name: ci
+
+on:
+  push:
+    branches:
+      - master
+      - next
+
+  pull_request:
+    branches:
+      - master
+      - next
+
+jobs:
+  check:
+    runs-on: ubuntu-20.04
+    strategy:
+      matrix:
+        rust: ["1.44.0", "stable", "beta", "nightly"]
+    name: Check (${{ matrix.rust }})
+    steps:
+      - uses: actions/checkout@v2
+      - name: Install minimal ${{ matrix.rust }}
+        uses: actions-rs/toolchain@v1
+        with:
+          profile: minimal
+          toolchain: ${{ matrix.rust }}
+          override: true
+      - name: Run cargo check
+        uses: actions-rs/cargo@v1
+        with:
+          command: check
+
+  test:
+    runs-on: ubuntu-20.04
+    strategy:
+      matrix:
+        rust: ["1.44.0", "stable", "beta", "nightly"]
+    name: Test Suite (${{ matrix.rust }})
+    steps:
+      - uses: actions/checkout@v2
+      - name: Install minimal ${{ matrix.rust }}
+        uses: actions-rs/toolchain@v1
+        with:
+          profile: minimal
+          toolchain: ${{ matrix.rust }}
+          override: true
+      - name: Run cargo test
+        uses: actions-rs/cargo@v1
+        with:
+          command: test
+
+  fmt:
+    runs-on: ubuntu-20.04
+    strategy:
+      matrix:
+        rust: ["1.44.0", "stable", "beta", "nightly"]
+    name: Rustfmt (${{ matrix.rust }})
+    steps:
+      - uses: actions/checkout@v2
+      - name: Install minimal ${{ matrix.rust }} with rustfmt
+        uses: actions-rs/toolchain@v1
+        with:
+          profile: minimal
+          toolchain: ${{ matrix.rust }}
+          override: true
+          components: rustfmt
+      - name: Run cargo fmt
+        uses: actions-rs/cargo@v1
+        with:
+          command: fmt
+          args: --all -- --check
+
+  clippy:
+    runs-on: ubuntu-20.04
+    strategy:
+      matrix:
+        rust: ["stable"]
+        # rust: ["1.44.0", "stable", "beta", "nightly"]
+    name: Clippy (${{ matrix.rust }})
+    steps:
+      - uses: actions/checkout@v2
+      - name: Install minimal ${{ matrix.rust }} with clippy
+        uses: actions-rs/toolchain@v1
+        with:
+          profile: minimal
+          toolchain: ${{ matrix.rust }}
+          override: true
+          components: clippy
+      - name: Run cargo clippy
+        uses: actions-rs/cargo@v1
+        with:
+          command: clippy
+          args: -- -D warnings
+
+  book:
+    runs-on: ubuntu-20.04
+    name: Build and Test Book
+    env:
+      MDBOOK_VERSION: '0.4.4'
+      MDBOOK_LINKCHECK_VERSION: '0.7.0'
+    steps:
+      - uses: actions/checkout@v2
+      - name: Install mdBook
+        # Install prebuilt binaries where possible to improve CI performance
+        run: |
+          mkdir -p "$HOME/mdbook"
+          curl -L "https://github.com/rust-lang/mdBook/releases/download/v$MDBOOK_VERSION/mdbook-v$MDBOOK_VERSION-x86_64-unknown-linux-gnu.tar.gz" | tar xz -C "$HOME/mdbook"
+          echo "${HOME}/mdbook/" >> $GITHUB_PATH
+          mkdir -p "$HOME/mdbook-linkcheck"
+          curl -L "https://github.com/Michael-F-Bryan/mdbook-linkcheck/releases/download/v$MDBOOK_LINKCHECK_VERSION/mdbook-linkcheck-v$MDBOOK_LINKCHECK_VERSION-x86_64-unknown-linux-gnu.tar.gz" | tar xz -C "$HOME/mdbook-linkcheck"
+          echo "${HOME}/mdbook-linkcheck/" >> $GITHUB_PATH
+      - name: Install Javascript dependencies
+        run: yarn install
+        working-directory: book
+      - name: Build additional Javascript
+        run: yarn build
+        working-directory: book
+      - name: Build book
+        run: mdbook build
+        working-directory: book
+      - name: Test book
+        run: mdbook test
+        working-directory: book
+      # TODO: Deploy to Github Pages on crate release

.gitignore

@@ -1,4 +1,7 @@
+# Rust
 /target/
 **/*.rs.bk
 Cargo.lock
-repl-history
+
+# Yarn
+/node_modules

.vscode/extensions.json

@@ -0,0 +1,5 @@
+{
+    "recommendations": [
+        "editorconfig.editorconfig"
+    ]
+}

CONTRIBUTING.md

@@ -0,0 +1,61 @@
+# Contributing
+
+## Code of Conduct
+
+Please note that this project is released with a [Code of Conduct](./CODE_OF_CONDUCT.md).
+By participating in this project you agree to abide by its terms.
+
+[code_of_conduct]: https://github.com/pikelet-lang/pikelet/blob/master/CODE_OF_CONDUCT.md
+
+## Matrix room
+
+Joining the matrix room at [#pikelet:matrix.org][pikelet-matrix] is a good way to get in touch with the developers and community.
+
+[pikelet-matrix]: https://app.element.io/#/room/#pikelet:matrix.org
+
+## Prerequisites
+
+We use [Rust][rust] as our implementation language, which can be installed using the [rustup] tool.
+
+For the best experience in working with Rust we also recommend installing IDE support for your editor of choice:
+
+- [Rust Analyzer][rust-analyzer] (for VS Code, Vim Emacs, etc.)
+- [IntelliJ Rust][intellij-rust] (for IntelliJ-based IDEs)
+
+You can learn more about programming in Rust by reading [The Rust Programming Language][rust-book].
+
+[rust]: https://www.rust-lang.org/
+[rustup]: https://rustup.rs/
+[rust-analyzer]: https://rust-analyzer.github.io/
+[intellij-rust]: https://intellij-rust.github.io/
+[rust-book]: https://doc.rust-lang.org/book/
+
+## Workflow
+
+Follow these steps to contribute to the project:
+
+1. Make a fork of the [Pikelet repository][pikelet-repo].
+1. Within your fork, create a branch for your contribution. Use a meaningful name.
+1. Create your contribution, meeting all [contribution quality standards](#quality-standards).
+1. Ensure all the tests pass (`cargo test`).
+1. [Create a pull request][create-a-pr] against the `master` branch of the repository.
+1. Once the pull request is reviewed and CI passes, it will be merged.
+
+[pikelet-repo]: https://github.com/pikelet-lang/pikelet/
+[create-a-pr]: https://help.github.com/articles/creating-a-pull-request-from-a-fork/
+
+## Quality Standards
+
+Most quality and style standards are checked automatically by the CI build.
+Contributions should:
+
+- Separate each **logical change** into its own commit.
+- Include tests for any new functionality in your pull request.
+- Document public functions.
+- Format code with `cargo fmt`.
+- Avoid adding `unsafe` code.
+  If it is necessary, provide an explanatory comment on any `unsafe` block explaining its rationale and why it's safe.
+- Add a descriptive message for each commit. Follow [these commit message guidelines][commit-messages].
+- Document your pull requests. Include the reasoning behind each change, and the testing done.
+
+[commit-messages]: https://tbaggery.com/2008/04/19/a-note-about-git-commit-messages.html

Cargo.toml

@@ -1,10 +1,7 @@
 [workspace]
 members = [
-    "./crates/pikelet",
-    "./crates/pikelet-concrete",
-    "./crates/pikelet-core",
-    "./crates/pikelet-driver",
-    "./crates/pikelet-language-server",
-    "./crates/pikelet-library",
-    "./crates/pikelet-repl",
+    "./pikelet",
+    "./pikelet-cli",
+    "./pikelet-editor",
+    "./pikelet-language-server",
 ]

README.md

@@ -2,14 +2,18 @@
 
 ![Pikelet Mascot][pikelet-mascot]
 
-[![Build Status][travis-badge]][travis-url]
-[![Gitter][gitter-badge]][gitter-lobby]
+[pikelet-mascot]: ./book/assets/pikelet.png
 
-[pikelet-mascot]: assets/pikelet.png
-[travis-badge]: https://travis-ci.org/pikelet-lang/pikelet.svg?branch=master
-[travis-url]: https://travis-ci.org/pikelet-lang/pikelet
-[gitter-badge]: https://badges.gitter.im/pikelet-lang/pikelet.svg
-[gitter-lobby]: https://gitter.im/pikelet-lang/Lobby
+[![Actions Status][actions-badge]][actions-url]
+[![Matrix][matrix-badge]][matrix-lobby]
+[![License][license-badge]][license-url]
+
+[actions-badge]: https://github.com/pikelet-lang/pikelet/workflows/ci/badge.svg
+[actions-url]: https://github.com/pikelet-lang/pikelet/actions
+[matrix-badge]: https://img.shields.io/matrix/pikelet:matrix.org?label=%23pikelet%3Amatrix.org
+[matrix-lobby]: https://app.element.io/#/room/#pikelet:matrix.org
+[license-badge]: https://img.shields.io/github/license/pikelet-lang/pikelet
+[license-url]: ./LICENSE
 
 Pikelet is a small, functional, dependently typed programming language.
 
@@ -24,22 +28,11 @@ other languages. At the moment however we've only implemented a type checker and
 very slow  interpreter, so don't get your hopes up too much yet! There's still a
 whole lot to do before it is even remotely useful to anyone! 😅
 
-For more information, see [The Pikelet Book][pikelet-book].
-
-[pikelet-book]: https://pikelet-lang.github.io/pikelet/
-
-## Contributing
-
-We really want to encourage new contributors to help out! Please come chat with
-us [on our Gitter channel][gitter-lobby] - if you have any questions about the
-project, or just want to say hi! We sometimes get side-tracked on technical
-discussions, but we're always more than happy to spend time explaining things.
-
-## Acknowledgments
+## Roadmap
 
-[![YesLogic Logo][yeslogic-logo]][yeslogic]
+Check out our plans in [the roadmap](./book/src/development/roadmap.md).
 
-This work was done in part with the generous support of [YesLogic][yeslogic].
+## Code of Conduct
 
-[yeslogic]: http://yeslogic.com/
-[yeslogic-logo]: assets/yeslogic-logo.png
+Please note that this project is released with a [Code of Conduct](./CODE_OF_CONDUCT.md).
+By participating in this project you agree to abide by its terms.

book/.gitignore

@@ -1,2 +1,9 @@
-build
-theme/highlight.js
+# mdBook
+/build
+
+# Yarn
+/node_modules
+
+# Parcel
+/.cache
+/dist