@@ -301,9 +301,8 @@ which can be inferred by the type checker:
301301 "[1, 2, 3, 4, 5, 6]" : String
302302
303303
304−**********************
305304Modules Dependencies Using Atom
306−**********************
305+===============================
307306
308307If you are using the Atom editor and have a dependency on another package,
309308corresponding to for instance ``import Lightyear`` or ``import Pruviloj``,