浏览代码

Reworked example

David Peter 3 年之前
父节点
当前提交
10cbbf8bcb
共有 1 个文件被更改,包括 3 次插入3 次删除
  1. 3 3
      examples/earth_mass.ins

+ 3 - 3
examples/earth_mass.ins

@@ -1,6 +1,6 @@
 # Compute the mass of planet earth
 # Compute the mass of planet earth
 
 
-let radius = 6378 * 1000 * meter
-let volume = 4/3 * π * radius^3
-let density = 5514 * kilogram / meter^3
+let radius: Length = 6378 * 1000 * meter
+let volume: Volume = 4/3 * π * radius^3
+let density: MassDensity = 5514 * kilogram / meter^3
 volume * density -> kilogram
 volume * density -> kilogram