docs: improved docs

CHANGELOG.md

@@ -2,6 +2,9 @@
 
 ## Unreleased
 
+## v0.0.5
+
+- docs: improved docs
 - runtime: better print of functions
 - runtime: improved runtime error messages
 - compiler: type-expressions with `Any` to match multiple cases

stdlib/prelude/bool.lithia

@@ -1,5 +1,9 @@
 module prelude
 
+/**
+  * Represents boolean values like `True` and `False`.
+  * Typically used for conditionals and flags.
+  */
 enum Bool {
   data True
   data False

stdlib/prelude/if.lithia

@@ -1,5 +1,13 @@
 module prelude
 
+/**
+ * When the given condition evaluates to `True`, returns `then`. Otherwise `false`.
+ * Both, `then` and `else` are evaluted lazily.
+ *
+ * ```
+ * if True, print "Succeeded", exit 1
+ * ```
+ */
 func if { condition, then, else =>
     with condition, type Bool {
         True: { _ => then },

stdlib/strings/concat.lithia

@@ -2,6 +2,14 @@ module strings
 
 import lists
 
+/**
+ * Concatenates a list of given strings in order.
+ * 
+ * ```
+ * strings.concat ["Hello ", "World", "!"]
+ * // "Hello World!"
+ * ```
+ */
 func concat { listOfStrings =>
     lists.reduce { into, next => into.append next }, "", listOfStrings
 }

stdlib/strings/join.lithia

@@ -2,6 +2,16 @@ module strings
 
 import lists
 
+/**
+ * Joins a list of strings with a given separator.
+ * The separator will only be inserted between two elements.
+ * If there are none or just one element, there won't be any separator.
+ * 
+ * ```
+ * strings.join " ", ["Hello", "World!"]
+ * // "Hello World!"
+ * ```
+ */
 func join { separator, listOfStrings =>
     with listOfStrings, type List {
         Cons: { first =>