Add Koltin annotations chapter

francescoo22 · Jul 24, 2024 · 6888c53 · 6888c53
1 parent 318fb3c
commit 6888c53
Show file tree

Hide file tree

Showing 4 changed files with 19 additions and 21 deletions.
diff --git a/chapters/4-Annotation-System.typ b/chapters/4-Annotation-System.typ
@@ -760,24 +760,3 @@ Where _fresh_ is a variable that has not been declared before.
 *TODO: Add example for return*
 
 // TODO: Stack example + DERIVATION
-
-// --------
-
-// TODO: put this in a separate chapter
-
-// == Aliasing control in Kotlin
-
-// === Verify  contracts
-
-
-// // example of contracts usage
-
-// // example of improvement in verification of contracts
-
-// // quote something??
-
-// === Smart cast
-// === Function optimiztion (modify lists implace)
-// === Garbage collection in Kotlin native
-
-// == The system
diff --git a/chapters/5-Annotations-Kotlin.typ b/chapters/5-Annotations-Kotlin.typ
@@ -0,0 +1,19 @@
+#pagebreak(to:"odd")
+= Annotations in Kotlin
+
+== Examples of Aliasing control in Kotlin
+
+// put examples that are currently in chapter 4
+
+== Improvents to the language
+
+=== Contracts verification
+
+
+// example of contracts usage
+
+// example of improvement in verification of contracts
+
+=== Smart cast
+=== Function optimiztion (modify lists implace)
+=== Garbage collection in Kotlin native
diff --git a/chapters/5-Encoding.typ → chapters/6-Encoding.typ b/chapters/5-Encoding.typ → chapters/6-Encoding.typ
diff --git a/chapters/6-Conclusion.typ → chapters/7-Conclusion.typ b/chapters/6-Conclusion.typ → chapters/7-Conclusion.typ