.github/Adds tests to the pipeline3 years ago src/use pre-made type to avoid confusion3 years ago test/Updates to ps15 syntax3 years ago .envrcreadme update; nix flake; hints on how to run.3 years ago .gitignorereadme update; nix flake; hints on how to run.3 years ago .psc-ide-portUpdates to ps15 syntax3 years ago LICENSECreate LICENSE5 years ago README.mdreadme update; nix flake; hints on how to run.3 years ago flake.lockreadme update; nix flake; hints on how to run.3 years ago flake.nixreadme update; nix flake; hints on how to run.3 years ago package-lock.jsonAdds back package-lock.json3 years ago package.jsonUpdates package set3 years ago packages.dhallUpdates package set3 years ago spago.dhallUpdates to ps15 syntax3 years ago test.dhallUpdate for PureScript 0.15.04 years ago