the next generation of the in-browser educational proof assistant
1
fork

Configure Feed

Select the types of activity you want to include in your feed.

at main 20 lines 462 B view raw
1{ 2 "name": "holbert-ng", 3 "sources": [ 4 { "dir": "src", "subdirs": true }, 5 { "dir": "tests", "subdirs": true, "type": "dev" } 6 ], 7 "package-specs": { 8 "module": "esmodule", 9 "in-source": true 10 }, 11 "suffix": ".mjs", 12 "dependencies": [ 13 "@rescript/core", 14 "@rescript/react", 15 "@jmagaram/rescript-seq" 16 ], 17 "dev-dependencies": ["@dusty-phillips/rescript-zora"], 18 "compiler-flags": ["-open RescriptCore"], 19 "jsx": { "version": 4 } 20}