Merge branch 'main' into code-samples-extended-to-be-runnable

code-samples/classes-wombat-constructor-invocation.pony

@@ -0,0 +1,2 @@
+let defaultWombat = Wombat("Fantastibat") // Invokes the create method by default
+let hungryWombat = Wombat.hungry("Nomsbat", 12) // Invokes the hungry method

code-samples/classes-zero-argument-constructors-invocation.pony

@@ -0,0 +1,3 @@
+class Forest
+  let _owl: Owl = Owl
+  let _hawk: Hawk = Hawk

code-samples/traits-and-interfaces-open-world-interface.pony

@@ -0,0 +1 @@
+interface Color

code-samples/type-aliases-enumerations-apply.pony

@@ -12,4 +12,4 @@ type Colour is (Red | Blue | Green)
 
 primitive ColourList
   fun apply(): Array[Colour] =>
-    [Red; Green; Blue]
+    [Red; Green; Blue]

code-samples/type-aliases-enumerations-iteration.pony

@@ -0,0 +1,7 @@
+primitive ColourList
+  fun apply(): Array[Colour] =>
+    [Red; Green; Blue]
+
+for colour in ColourList().values() do
+  env.out.print(colour().string())
+end

mkdocs.yml

@@ -47,6 +47,7 @@ theme:
   features:
     - content.code.copy
     - content.code.select
+    - navigation.footer
     - navigation.instant
     - navigation.indexes
     - navigation.tracking