more docs

mattwparas · Dec 22, 2023 · d74ba9d · d74ba9d
1 parent 6f7dabc
commit d74ba9d
Show file tree

Hide file tree

Showing 10 changed files with 32 additions and 27 deletions.
diff --git a/.github/workflows/docs.yml b/.github/workflows/docs.yml
@@ -30,7 +30,7 @@ jobs:
         git config user.email ""
         cd gh-pages
         # Delete the ref to avoid keeping history.
-        git update-ref -d refs/heads/gh-pages
+        # git update-ref -d refs/heads/gh-pages
         # There are benchmarks stored in dev/bench/ that we would like to
         # keep around. Otherwise, this just adds the book as a separate
         # directory.

diff --git a/docs/src/SUMMARY.md b/docs/src/SUMMARY.md
@@ -21,15 +21,34 @@
         1. [Logging](generated/logging.md)
         2. [Built ins](reference/builtins.md)
             1. [steel/base](builtins/steel_base.md)
-            2. [steel/lists](builtins/steel_lists.md)
-            3. [steel/random](builtins/steel_random.md)
-            4. [steel/time](builtins/steel_time.md)
-            5. [steel/hash](builtins/steel_hash.md)
-            6. [steel/ports](builtins/steel_ports.md)
-            7. [steel/strings](builtins/steel_strings.md) 
+            2. [steel/constants](builtins/steel_constants.md)
+            3. [steel/core/option](builtins/steel_core_option.md)
+            4. [steel/core/result](builtins/steel_core/result.md)
+            5. [steel/core/types](builtins/steel_core/types.md)
+            6. [steel/equality](builtins/steel_core/equality.md)
+            7. [steel/filesystem](builtins/steel_core/filesystem.md)
+            8. [steel/hash](builtins/steel_hash.hd)
+            9. [steel/identity](builtins/steel_identity.md)
+            10. [steel/io](builtins/steel_io.md)
+            11. [steel/json](builtins/steel_json.md)
+            12. [steel/lists](builtins/steel_lists.md)
+            13. [steel/meta](builtins/steel_meta.md)
+            14. [steel/numbers](builtins/steel_numbers.md)
+            15. [steel/ord](builtins/steel_ord.md)
+            16. [steel/ports](builtins/steel_pords.md)
+            17. [steel/process](builtins/steel_process.md)
+            18. [steel/random](builtins/steel_random.md)
+            19. [steel/sets](builtins/steel_sets.md)
+            20. [steel/streams](builtins/steel_streams.md)
+            21. [steel/strings](builtins/steel_strings.md)
+            22. [steel/symbols](builtins/steel_symbols.md)
+            23. [steel/syntax](builtins/steel_syntax.md)
+            24. [steel/time](builtins/steel_time.md)
+            25. [steel/transducers](builtins/steel_transducers.md)
+            26. [steel/vectors](builtins/steel_vectors.md)
 6. [Bytecode](bytecode/bytecode.md)
     1. [Optimizations](bytecode/optimizations.md)
 7. [Benchmarks](benchmarks/benchmarks.md)
 8. [Common Patterns](patterns/patterns.md)
     1. [Interior Mutability](patterns/mutability.md)
-    2. [Async](patterns/async.md)
+    2. [Async](patterns/async.md)
diff --git a/docs/src/builtins/#%private_steel_mhash.md b/docs/src/builtins/#%private_steel_mhash.md
diff --git a/docs/src/builtins/#%private_steel_mvector.md b/docs/src/builtins/#%private_steel_mvector.md
diff --git a/docs/src/builtins/#%private_steel_reader.md b/docs/src/builtins/#%private_steel_reader.md
diff --git a/docs/src/builtins/steel_core/filesystem.md b/docs/src/builtins/steel_core/filesystem.md
@@ -0,0 +1 @@
+# steel/filesystem
diff --git a/docs/src/builtins/steel_core/result.md b/docs/src/builtins/steel_core/result.md
@@ -0,0 +1 @@
+# steel/core/result
diff --git a/docs/src/builtins/steel_core/types.md b/docs/src/builtins/steel_core/types.md
@@ -0,0 +1 @@
+# steel/core/types
diff --git a/docs/src/builtins/steel_hash.hd b/docs/src/builtins/steel_hash.hd
@@ -0,0 +1 @@
+# steel/hash
diff --git a/docs/src/builtins/steel_pords.md b/docs/src/builtins/steel_pords.md
@@ -0,0 +1 @@
+# steel/ports