Add NodeJS to the devshell

UniMath / agda-unimath

The agda-unimath library

https://unimath.github.io/agda-unimath/

MIT License

222 stars 71 forks source link

Closed VojtechStep closed 8 months ago

VojtechStep commented 8 months ago

Pre-commit tries to run a downloaded NodeJS executable when NodeJS isn't available in the environment, but that fails to run on NixOS.

VojtechStep commented 8 months ago

Nope, this is it

fredrik-bakke commented 8 months ago

Merged 😁