build: generate gitignore

.gitignore

@@ -8,7 +8,3 @@ yarn-error.log*
 pnpm-debug.log*
 dist
 build-aya/
-
-src/guide/haskeller-tutorial.md
-src/guide/anqur-story.md
-src/guide/ext-types.md

aya/guide/prover-tutorial.aya.md

@@ -91,7 +91,7 @@ This will need some advanced proving techniques that are beyond the scope of thi
 simple tutorial, so I'll skim them. First, we need type-safe coercion:
 
 ```aya
-def cast (p : A ↑ = B) : A -> B => coe 0 1 (fn i => p i)
+def cast (p : A ↑ = B) : A -> B => ↑ coe 0 1 (fn i => p i)
 ```
 
 Then, from `q : b = c` we construct the equivalence `(a = b) = (a = c)`

scripts/build-aya.js

@@ -43,6 +43,7 @@ walk(".", (file) => {
 });
 // Put preprocessed files to src/
 process.chdir("../build-aya");
+let gitignore = "";
 walk(".", (file) => {
   console.log("Moving: " + file);
   const dest = path.resolve("../src", file);
@@ -52,4 +53,9 @@ walk(".", (file) => {
       if (err) throw err;
     });
   });
+  gitignore += file + "\n";
+});
+
+fs.writeFile("../src/.gitignore", gitignore, (err) => {
+  if (err) throw err;
 });

src/.gitignore

@@ -0,0 +1,2 @@
+guide/haskeller-tutorial.md
+guide/prover-tutorial.md