Update dev docs.

Author: robinheghan

CONTRIBUTING.md

@@ -35,12 +35,6 @@ To do so:
 All PRs will be considered, but going through the above process significantly
 improves your chances of a merge!
 
-## Local development commands
-
-- build: `cabal build -f dev`
-- run tests: `cabal test -f dev`
-- format files: `ormolu --mode inplace $(git ls-files '*.hs')`
-
 ## Back-up / Historic Archives
 
 There's also a [Zulip](https://gren.zulipchat.com) with older

README.md

@@ -6,10 +6,17 @@ There are easier ways to install the compiler than compiling the source, you mig
 
 ## Build from source
 
-The Gren compiler is written in Haskell, so to build from source you need to have GHC 9.4 (Haskell compiler) and Cabal 3.8 (haskell build tool) installed on your system.
+This project uses [devbox](https://www.jetify.com/devbox) for managing dependencies required to build the project. If you don't want to use devbox,
+you can find a list of the requried dependencies and their specific versions in `devbox.json`.
 
-You can install these using [ghcup](https://www.haskell.org/ghcup/). By default, ghcup will install an older version of Haskell and Cabal, so you can install and set the required versions using `ghcup tui`.
+Since Gren 0.4 the compiler is implemented in two parts. The Gren-portion of the compiler lives in `src`, and once built it acts
+as a frontend to the Haskell-portion of the compiler.
 
-Compiling and installing the project should just be a matter of `cabal install`, after which you should be able to run the `gren` command from your command line.
+The end goal is for the entire compiler to be written in Gren, but for now you need to build both Gren- and Haskell-portions of the compiler.
 
-Read the `CONTRIBUTING.md` file for some helpful commands for working on the compiler itself.
+1. Use `devbox shell` to get a terminal with the required dependencies installed.
+2. Use `./build_dev_bin.sh` to build the Haskell-based compiler. You should now have a `./gren` file in your directory.
+3. Build the Gren compiler with `npm run prepublishOnly`
+4. You can now execute your local build with `GREN_BIN=./gren node ./cli.js`
+
+`GREN_BIN` tells the compiler which Haskell-binary to communicate with. If not specified, it will be downloaded.

ROADMAP.md

@@ -8,16 +8,5 @@ Also, keep in mind that this only focuses on the big picture. Major features lik
 
 ## Releases
 
-- December 2023 - Parametric modules, or OCaml functors, to enable defining things like equality, comparisons etc. for your own types and use them in data structures like Dict. This release also removes the "magic" type classes currently in the language, like `number` and `comparable`.
-
-- June 2024 - Stabelization period. Mostly bugfixes and code gen improvements. While we prepare for the next big thing.
-
-- December 2024 - Re-evaluating how concurrency works in the language. More specifically, we'll re-evaluate how `Task`, `Cmd`, `Process` and effect modules work.
-
-- June 2025 - Re-evaluate records and custom types.
-
-- December 2025 - Re-evaluate interop: ports and kernel code.
-
-- June 2026 - Compile to Web Assembly instead of JS. This will give us proper integers, big integers, hopefully smaller asset size and possibly enable future optimizations in codegen.
-
-- December 2026 - The language is considered complete. Both the compiler and core packages will commit to maintaining backwards compatability from here on out.
+- June 2025 - Rewrite dependency management in Gren
+- December 2025 - Rewrite parser in Gren. Parametric modules. Operators as syntax sugar.

devbox.json

@@ -1,5 +1,5 @@
 {
-  "$schema": "https://raw.githubusercontent.com/jetify-com/devbox/0.13.4/.schema/devbox.schema.json",
+  "$schema": "https://raw.githubusercontent.com/jetify-com/devbox/0.13.5/.schema/devbox.schema.json",
   "packages": [
     "nodejs@20",
     "[email protected]",

package-lock.json

@@ -1,10 +1,10 @@
 {
   "name": "gren-lang",
-  "version": "0.4.5",
+  "version": "0.4.6",
   "description": "Compiler for the Gren programming language",
   "scripts": {
     "test": "echo \"Error: no test specified\" && exit 1",
-    "prepublishOnly": "gren make src/Main.gren --optimize --output=compiler.js",
+    "prepublishOnly": "npx [email protected] -- gren make src/Main.gren --optimize --output=compiler.js",
     "prettier": "prettier -w \"!**/*.json\" .",
     "prettier:check": "prettier -c \"!**/*.json\" ."
   },