Apply many of Patrik's suggestions for Introduction

Spelling, naming, etc

Author: bryal

Book/build.py

@@ -97,17 +97,17 @@ def build_index(sources):
 
 sources = [
     ("Introduction", [
-        ("Introduction'", "Physics/src/Introduction/Introduction.lhs"),
+        (">> Start here <<", "Physics/src/Introduction/Introduction.lhs"),
     ]),
     ("Calculus", [
         ("Introduction", "Physics/src/Calculus/Intro.lhs"),
         ("Function expressions", "Physics/src/Calculus/FunExpr.lhs"),
         ("Differential calculus", "Physics/src/Calculus/DifferentialCalc.lhs"),
         ("Integral calculus", "Physics/src/Calculus/IntegralCalc.lhs"),
-        ("Visualization", "Physics/src/Calculus/VisVerApp.lhs"),
+        ("Plotting graphs", "Physics/src/Calculus/VisVerApp.lhs"),
     ]),
-    ("Vectors", [
-        ("Vector", "Physics/src/Vector/Vector.lhs")
+    ("Linear algebra", [
+        ("Vectors", "Physics/src/Vector/Vector.lhs")
     ]),
     ("Dimensions", [
         ("Introduction", "Physics/src/Dimensions/Intro.lhs"),
@@ -116,15 +116,14 @@ def build_index(sources):
         "Physics/src/Dimensions/ValueLevel/Test.lhs"),
         ("Type-level dimensions", "Physics/src/Dimensions/TypeLevel.lhs"),
         ("Quantities", "Physics/src/Dimensions/Quantity.lhs"),
-        ("Testing of Quantity",
+        ("Testing of Quantities",
         "Physics/src/Dimensions/Quantity/Test.lhs"),
         ("Usage", "Physics/src/Dimensions/Usage.lhs"),
-    ]),
-    ("Examples", [
-        ("Gungbräda", "Physics/src/Examples/Gungbraeda.lhs"),
-        ("krafter på lådor", "Physics/src/Examples/krafter_pa_lador.lhs"),
-
     ])
+    # ("Examples", [
+    #     ("Gungbräda", "Physics/src/Examples/Gungbraeda.lhs"),
+    #     ("krafter på lådor", "Physics/src/Examples/krafter_pa_lador.lhs"),
+    # ])
 
 ]
 

Physics/src/Calculus/FunExpr.lhs

@@ -157,7 +157,7 @@ Try modifying `FunExpr` to derive `Show`, so that our expressions can be printed
 
 <   deriving Eq, Show
 
-Consider now how GHCI prints out a function expression we create
+Consider now how GHCi prints out a function expression we create
 
 < ghci> carAccel = Const 20
 < ghci> carSpeed = Const 50 :+ carAccel :* Id

Physics/src/Introduction/Introduction.lhs

@@ -1,22 +1,18 @@
-> module Introduction.Introduction where
-> 
-> message = "Greetings!"
-
-About this tutorial
+About this book
 ======================================================================
 
 You've arrived at **Learn You a Physics for Great Good**,
 the #1 stop for all your beginner-to-intermediate needs of learning
-**Physics** through the use of **Domain Specifc Languages**
-(hereinafter DSLs (mostly but not always)).
+**Physics** through the use of **Domain Specific Languages**
+(DSLs).
 
-This book was written as a [bachelor's thesis
+This book was written as a [BSc thesis
 project](https://github.com/DSLsofMath/BScProj2018) at Chalmers
 University of Technology as an offshoot of a bachelor's level elective
 course [*Domain Specific Languages of
 Mathematics*](https://github.com/DSLsofMath/DSLsofMath). The goal of
-the the project and the reason for the existance of this book, is to
-help primarily CS students learn physics better. We think that the use
+the the project and the reason for the existence of this book, is to
+help (primarily CS) students learn physics better. We think that the use
 of domain specific languages to teach the subject will help set these
 students in the right mindset to learn physics efficiently and
 properly. An observed problem has been that students base their mental
@@ -33,9 +29,9 @@ relief in between all the dramatic definitions.
 
 In this book, we will study physics through the lens of DSLs. We will
 need to pay close attention to definitions, throughly ponder any
-non-trivial syntax, and prove that the things we do are actually
-correct. The areas covered include such things as: dimensional
-analysis, vectors, calculus, and more!
+non-trivial syntax, and verify (via tests or proofs) that the things
+we do are actually correct. The areas covered include such things as:
+dimensional analysis, vectors, calculus, and more!
 
 The book is aimed at you who have some knowledge of
 [Haskell](https://www.haskell.org/). If you know what a `class` and an
@@ -51,13 +47,13 @@ In general, a domain specific language is simply a computer language
 for a specific domain. It's NOT a synonym for
 [jargon](http://www.catb.org/jargon/html/online-preface.html)! DSLs
 can be specialized for markup, like
-[*HTML*](https://en.wikipedia.org/wiki/HTML); for modeling, like
+[*HTML*](https://en.wikipedia.org/wiki/HTML); for modelling, like
 [*EBNF*](https://en.wikipedia.org/wiki/Extended_Backus%E2%80%93Naur_form);
-for programming, like
+for shell scripting, like
 [*Bash*](https://en.wikipedia.org/wiki/Bash_%28Unix_shell%29); and
 more.
 
-The languages we will construct will mostly concern modeling of
+The languages we will construct will mostly concern modelling of
 physics and mathematics. We will create data structures in Haskell to
 represent the same physics calculations that we write on paper, in
 such a way that we can write functions to, for example, analyze the
@@ -72,15 +68,15 @@ $$x + x$$
 
 $$x$$
 
-$$x + x + x + x$$
+$$(x + x) + (x + x)$$
 
-When implementing a DSL, we typically start with modeling the
-syntax. Let's first declara a data type for the language
+When implementing a DSL, we typically start with modelling the
+syntax. Let's first declare a data type for the language
 
 > data Expr
 
 Then we interpret the textual description of the language. "Our
-language will consist expressions of a single variable and
+language will consist of expressions of a single variable and
 addition". Ok, so an expression can be one of two things then: a
 single variable
 
@@ -90,14 +86,15 @@ or two expressions added together.
 
 >   | Add Expr Expr
 
-And that's it, kind of! A DSL without any associated functions for
-validation, symbolic manipulation, evaluation, or somesuch, is really
-no DSL at all! We must DO something with it, or there is no point!
+And that's it, kind of! However, a DSL without any associated
+functions for validation, symbolic manipulation, evaluation, or
+somesuch, is really no DSL at all! We must DO something with it, or
+there is no point!
 
 One thing we can do with expressions such as these, is compare whether
 two of them are equal. Even without using any numbers, we can test
 this by simply counting the $x$s! If both expressions contain the same
-amount of $x$s, they will be equal!
+number of $x$s, they will be equal!
 
 > eq :: Expr -> Expr -> Bool
 > eq e1 e2 = count e1 == count e2
@@ -110,7 +107,7 @@ We can now test whether our expressions are equal.
 < True
 
 And NOW that's it (if we want to stop here)! This is a completely
-valid (but boring) DSL. We've modeled the syntax, and added a function
+valid (but boring) DSL. We've modelled the syntax, and added a function
 that operates symbolically on our language. This is a very small and
 simple DSL, and you've likely done something similar before without
 even realizing you were constructing a DSL. It can really be that
@@ -131,7 +128,7 @@ What you need to dive in
 ======================================================================
 
 To just follow along and implement the same stuff we do, a single
-document loaded into GHCI will do. For this, you just need to install the
+document loaded into GHCi will do. For this, you just need to install the
 [Haskell Platform](https://www.haskell.org/platform/).
 
 If you want to automatically install any required dependencies, like
@@ -143,7 +140,7 @@ what you'll need. With Stack installed and [our repository
 cloned](https://github.com/DSLsofMath/BScProj2018), enter the
 `Physics` directory and type `stack build`. Stack should now download
 and compile all necessary dependencies, such that they are avaiable
-when you load a module in GHCI.
+when you load a module in GHCi.
 
 
 
@@ -158,7 +155,7 @@ attention.
 If you still don't really get what DSLs are all about, try reading the
 ["notes" (almost a full book really) for the course on DSLs of math at
 Chalmers](https://github.com/DSLsofMath/DSLsofMath/tree/master/L/snapshots). If
-you're studying at Chalmers, even better to actually take the course!
+you're studying at Chalmers, it is even better to actually take the course!
 
 If there's some part of the material that you still think is unclear
 (or maybe even wrong? Blasphemy!), please [open an issue on the github