Ben Hormann

I have made a start at implementing this. There are many files to update. So far: Maybe/getPath.js Maybe/getPath.spec.js Maybe/getProp.js Maybe/getProp.spec.js Maybe/prop.spec.js Maybe/propPath.spec.js helpers/assoc.spec.js helpers/dissoc.spec.js helpers/getPathOr.js helpers/getPathOr.spec.js helpers/getPropOr.js helpers/getPropOr.spec.js helpers/propOr.spec.js helpers/propPathOr.spec.js...

Check out [StaticGen](https://www.staticgen.com/), plenty of options. Maybe look at [Eleventy](https://www.11ty.dev/) or [Docusaurus](https://v2.docusaurus.io/) as JavaScript based options? I only say this since Jekyll / Ruby requires minor setup on windows (beats...

Parallel make isn't supported (currently): #864 The only eligible jobs are `network` / `test-lib`, and the sub-jobs of `support`. Since these are the smallest jobs it wouldn't be a big...

Not really. Sure, #1990 will drop my bootstrap change. I kept changes to Makefile minimal to reduce merging effort (most merge conflicts are deletes / pick yours). I'm happy to...

There is also a conflict with #1749. I'm not sure of the implications memory wise, but I can update my code if 1749 gets accepted.

The change to bytecode allows us to execute `racket` directly, avoiding macOS System Integrity Protection issues (libidris2_support.dylib not found). All that remains to fix #1032 are any M1 specific quirks...

> > (2) faster! — saves 15-20% for idris2.rkt / 75-85% for hello.rkt (ymmv) > > Faster to compile or to run? Compile. The bytecode ought to be equivalent, so...

@gallais This is now waiting on you. Unless you want me to add a ubuntu-test-racket-codegen job?

@gallais I'd like to also reinstate Racket bootstrap to the CI, but that needs #2279. How about adding another Ubuntu job to build Racket from previous-version (Chez), then self-host from...

``` if (module.hot) { module.hot.dispose(() => { app.$destroy(); }); module.hot.accept(); } ``` Credit: figured this out from rixo's templates .