Squashed commit of the following:

commit 6f83edd
Author: Yannik Sander <[email protected]>
Date:   Sun May 8 11:51:17 2022 +0200

    Style improvements

    Co-authored-by: Martin Monperrus <[email protected]>

commit bd59fe3
Author: Yannik Sander <[email protected]>
Date:   Sun May 8 11:50:31 2022 +0200

    IaaS description and application

commit f7cbbc9
Author: Yannik Sander <[email protected]>
Date:   Sun May 8 11:49:45 2022 +0200

    Move Nickel AST to top to introduce fundamental concepts (i.e. records)

commit 1e0821b
Author: Yannik Sander <[email protected]>
Date:   Sun May 8 11:47:59 2022 +0200

    Add sentence about IaC implementation

commit 430c53e
Author: Yannik Sander <[email protected]>
Date:   Sun May 8 11:46:16 2022 +0200

    Fixup: Rewrite Configuration programming languages as text based configuration

commit e945242
Author: Yannik Sander <[email protected]>
Date:   Sun May 8 11:45:00 2022 +0200

    Rewrite Configuration programming languages as text based configuration

    Co-authored-by: Martin Monperrus <[email protected]>

commit 8f4f497
Author: Yannik Sander <[email protected]>
Date:   Sun May 8 11:40:38 2022 +0200

    Destinction of workspace scoped symbols

commit ccdde1e
Author: Yannik Sander <[email protected]>
Date:   Sun May 8 11:39:32 2022 +0200

    Define Folder/Workspace

    Co-authored-by: Martin Monperrus <[email protected]>

commit 102d411
Author: Yannik Sander <[email protected]>
Date:   Sun May 8 11:38:09 2022 +0200

    Add RPC method names

commit 643d5c8
Author: Yannik Sander <[email protected]>
Date:   Sun May 8 11:36:58 2022 +0200

    Remove subjective phrase

    Co-authored-by: Martin Monperrus <[email protected]>

commit d2a3e93
Author: Yannik Sander <[email protected]>
Date:   Sun May 8 11:36:31 2022 +0200

    Improve self containment of this chapter

commit 1b7f7c6
Author: Yannik Sander <[email protected]>
Date:   Sun May 8 11:35:19 2022 +0200

    Update chapter/background.md

commit dd68fdd
Author: Yannik Sander <[email protected]>
Date:   Sun May 8 11:33:43 2022 +0200

    Define JSON-RPC after naming it

commit 33d2f6f
Author: Yannik Sander <[email protected]>
Date:   Sun May 8 11:31:26 2022 +0200

    Define and distinct LSP Server/Client

commit 9f55909
Author: ysndr <[email protected]>
Date:   Sun Apr 17 15:34:28 2022 +0200

    Short description of gradual typing

commit 010ac56
Author: ysndr <[email protected]>
Date:   Sun Apr 17 15:34:13 2022 +0200

    Describe Record Merging

commit 44e266a
Author: ysndr <[email protected]>
Date:   Sun Apr 17 15:33:28 2022 +0200

    Add Nickel Introduction

commit a82da53
Author: ysndr <[email protected]>
Date:   Sun Apr 17 15:33:09 2022 +0200

    Comment configuration example

commit 86ab1ad
Author: ysndr <[email protected]>
Date:   Sun Apr 17 15:32:53 2022 +0200

    Move file processing section from related work

commit 6b64478
Author: ysndr <[email protected]>
Date:   Sun Apr 17 15:32:32 2022 +0200

    Fix list item

commit 9cb38ea
Author: ysndr <[email protected]>
Date:   Sun Apr 17 15:32:16 2022 +0200

    Cleanup Headers

commit 25fdb8f
Author: ysndr <[email protected]>
Date:   Sun Apr 17 15:31:42 2022 +0200

    Describe Diagnostics capability

commit 2fb44ae
Author: ysndr <[email protected]>
Date:   Sun Apr 17 15:31:14 2022 +0200

    Describe symbols capability

commit f678716
Author: ysndr <[email protected]>
Date:   Mon Apr 11 15:18:14 2022 +0200

    Add Go-To Methods

commit 35456a7
Author: ysndr <[email protected]>
Date:   Sat Apr 9 21:37:28 2022 +0200

    Fix file paths

commit 32730eb
Author: ysndr <[email protected]>
Date:   Sat Apr 9 21:14:03 2022 +0200

    Explain hover

commit 681d268
Author: ysndr <[email protected]>
Date:   Sat Apr 9 21:13:40 2022 +0200

    Explain completion

commit 85e4b6f
Author: ysndr <[email protected]>
Date:   Sat Apr 9 21:13:15 2022 +0200

    Improve LSP introduction

commit f526565
Author: ysndr <[email protected]>
Date:   Sat Apr 9 21:12:50 2022 +0200

    Clean up json rpc

commit 69dcab0
Author: Yannik Sander <[email protected]>
Date:   Fri Feb 25 14:04:37 2022 +0100

    Fix code block formatting

commit 5c2ee8c
Author: Yannik Sander <[email protected]>
Date:   Mon Feb 7 16:01:30 2022 +0100

    Clarifying static/dynamic access

commit ce50274
Author: Yannik Sander <[email protected]>
Date:   Mon Feb 7 15:32:40 2022 +0100

    Nickel record shorthand example fixes

commit a4ce6ee
Author: Yannik Sander <[email protected]>
Date:   Mon Feb 7 15:28:56 2022 +0100

    Remove (commented) comparative example

commit ab40ab4
Author: Yannik Sander <[email protected]>
Date:   Mon Feb 7 15:27:55 2022 +0100

    Simplify metadata

commit 835cfcc
Author: Yannik Sander <[email protected]>
Date:   Mon Feb 7 15:02:04 2022 +0100

    Nix example typos and empty lines

commit 496702d
Author: Yannik Sander <[email protected]>
Date:   Mon Feb 7 14:59:53 2022 +0100

    IaC intro

commit d71ed22
Author: Yannik Sander <[email protected]>
Date:   Mon Feb 7 14:41:52 2022 +0100

    Rephrase "config drift" paragraph

commit 3fc8853
Author: Yannik Sander <[email protected]>
Date:   Mon Feb 7 12:15:59 2022 +0100

    Apply suggestions from code review

    From PR review #4
    Moved to #2

    Co-authored-by: Yann Hamdaoui <[email protected]>
    # Conflicts:
    #	chapter/background.md

commit 59fee45
Author: Yannik Sander <[email protected]>
Date:   Sun Feb 6 17:51:43 2022 +0100

    Fix latex incompatibility

commit 7a38c0d
Author: Yannik Sander <[email protected]>
Date:   Sun Feb 6 17:43:20 2022 +0100

    Add section on contracts

commit e6dd02a
Author: Yannik Sander <[email protected]>
Date:   Sun Feb 6 17:42:58 2022 +0100

    Move down header level of gradual typing

commit a8b020a
Author: Yannik Sander <[email protected]>
Date:   Sun Feb 6 17:42:23 2022 +0100

    Fix typos and wording

commit 1034f59
Author: Yannik Sander <[email protected]>
Date:   Sun Feb 6 15:26:40 2022 +0100

    Remove Motivation (moved to introduction)

commit c6791ed
Author: Yannik Sander <[email protected]>
Date:   Wed Jan 26 17:25:21 2022 +0100

    Fix code examples to pass syntax highlighter

commit 5874b6a
Author: Yannik Sander <[email protected]>
Date:   Wed Jan 26 17:24:57 2022 +0100

    AST: Identifiers and let bindings

commit b143283
Author: Yannik Sander <[email protected]>
Date:   Thu Jan 13 15:40:43 2022 +0100

    Add Nickel AST chapter to background

commit 815a0fe
Author: Yannik Sander <[email protected]>
Date:   Thu Jan 13 15:40:13 2022 +0100

    Merge Nickel section into Configuration languages

commit d27c9a3
Author: Yannik Sander <[email protected]>
Date:   Tue Jan 4 18:02:25 2022 +0100

    Removing math terms and mention edit integration work

commit b9a65f0
Author: Yannik Sander <[email protected]>
Date:   Tue Jan 4 17:50:07 2022 +0100

    Add paragraph about config security

commit 584e5a5
Author: Yannik Sander <[email protected]>
Date:   Tue Jan 4 17:49:44 2022 +0100

    Do not use auxillary description for DSL

commit 6f52325
Author: Yannik Sander <[email protected]>
Date:   Tue Jan 4 17:18:16 2022 +0100

    Address more suggestions towards motivation and JSONRPC

commit 49605bc
Author: Yannik Sander <[email protected]>
Date:   Tue Jan 4 16:52:32 2022 +0100

    Address suggestions regarding LSP

commit 99d5d07
Author: Yannik Sander <[email protected]>
Date:   Tue Jan 4 16:47:35 2022 +0100

    Apply suggestions from code review

    Co-authored-by: Yann Hamdaoui <[email protected]>

commit 1e0facf
Author: Yannik Sander <[email protected]>
Date:   Tue Jan 4 16:31:33 2022 +0100

    Fill subsection on IaC

commit 525c298
Author: Yannik Sander <[email protected]>
Date:   Sun Jan 2 16:19:43 2022 +0100

    Fix some footnotes and typo

commit be79a9c
Author: Yannik Sander <[email protected]>
Date:   Sun Jan 2 14:26:40 2022 +0100

    Finish `Configuration programming languages` section

commit 440fdf8
Author: Yannik Sander <[email protected]>
Date:   Sun Jan 2 00:51:02 2022 +0100

    Amend static text vs binary paragraph

commit c8903d3
Author: Yannik Sander <[email protected]>
Date:   Sat Jan 1 18:07:26 2022 +0100

    Start section on configuration programming languages

commit 3cfc28b
Author: Yannik Sander <[email protected]>
Date:   Sat Jan 1 15:55:21 2022 +0100

    Fix figure references

commit e1b816b
Author: Yannik Sander <[email protected]>
Date:   Sat Jan 1 15:31:30 2022 +0100

    Finish rpc doc

commit 3cc32b5
Author: Yannik Sander <[email protected]>
Date:   Sat Jan 1 15:05:58 2022 +0100

    Fix code block rendering

commit 0706fe3
Author: Yannik Sander <[email protected]>
Date:   Fri Dec 31 17:57:41 2021 +0100

    Start subsection jsron rpc

commit 277674f
Author: Yannik Sander <[email protected]>
Date:   Fri Dec 31 16:49:02 2021 +0100

    Fix footnote

commit 40cbc87
Author: Yannik Sander <[email protected]>
Date:   Fri Dec 31 16:32:35 2021 +0100

    Rename rationale Motivation and extend subsection

commit 87589b6
Author: Yannik Sander <[email protected]>
Date:   Wed Dec 29 00:05:48 2021 +0100

    Add to the rationale of LSP

commit d36bac9
Author: Yannik Sander <[email protected]>
Date:   Tue Dec 28 21:29:57 2021 +0100

    Language server Introduction

commit 32aa082
Author: Yannik Sander <[email protected]>
Date:   Tue Dec 28 20:17:57 2021 +0100

    Background introduction

commit c0b5965
Author: Yannik Sander <[email protected]>
Date:   Tue Dec 28 20:01:15 2021 +0100

    Extend chapter outline

commit 7826b00
Author: Yannik Sander <[email protected]>
Date:   Mon Dec 27 23:10:25 2021 +0100

    Address LSP first