2016-01-18 22:17:22 +01:00
|
|
|
{
|
|
|
|
"private": true,
|
|
|
|
"scripts": {
|
2017-02-28 01:31:13 +01:00
|
|
|
"build": "pulp build --to dist/app.js",
|
|
|
|
"watch": "pulp -w build --to dist/app.js"
|
2016-01-18 22:17:22 +01:00
|
|
|
},
|
|
|
|
"devDependencies": {
|
2017-04-22 16:55:13 +02:00
|
|
|
"pulp": "^11.0.0",
|
|
|
|
"purescript": "^0.11.0",
|
|
|
|
"purescript-psa": "^0.5.0"
|
2016-01-18 22:17:22 +01:00
|
|
|
}
|
|
|
|
}
|