@@ -99,6 +99,16 @@ def build_index(sources):
9999 ("Introduction" , [
100100 ("Introduction'" , "Physics/src/Introduction/Introduction.lhs" ),
101101 ]),
102+ ("Calculus" , [
103+ ("Introduction" , "Physics/src/Calculus/Intro.lhs" ),
104+ ("Function expressions" , "Physics/src/Calculus/FunExpr.lhs" ),
105+ ("Differential calculus" , "Physics/src/Calculus/DifferentialCalc.lhs" ),
106+ ("Integral calculus" , "Physics/src/Calculus/IntegralCalc.lhs" ),
107+ ("Visualization" , "Physics/src/Calculus/VisVerApp.lhs" ),
108+ ]),
109+ ("Vectors" , [
110+ ("Vector" , "Physics/src/Vector/Vector.lhs" )
111+ ]),
102112 ("Dimensions" , [
103113 ("Introduction" , "Physics/src/Dimensions/Intro.lhs" ),
104114 ("Value-level dimensions" , "Physics/src/Dimensions/ValueLevel.lhs" ),
@@ -110,16 +120,6 @@ def build_index(sources):
110120 "Physics/src/Dimensions/Quantity/Test.lhs" ),
111121 ("Usage" , "Physics/src/Dimensions/Usage.lhs" ),
112122 ]),
113- ("Vectors" , [
114- ("Vector" , "Physics/src/Vector/Vector.lhs" )
115- ]),
116- ("Calculus" , [
117- ("Introduction" , "Physics/src/Calculus/Intro.lhs" ),
118- ("Function expressions" , "Physics/src/Calculus/FunExpr.lhs" ),
119- ("Differential calculus" , "Physics/src/Calculus/DifferentialCalc.lhs" ),
120- ("Integral calculus" , "Physics/src/Calculus/IntegralCalc.lhs" ),
121- ("Visualization, Verification, and Application" , "Physics/src/Calculus/VisVerApp.lhs" ),
122- ]),
123123 ("Examples" , [
124124 ("Gungbräda" , "Physics/src/Examples/Gungbraeda.lhs" ),
125125 ("krafter på lådor" , "Physics/src/Examples/krafter_pa_lador.lhs" ),
0 commit comments