[[https://www.eecs.yorku.ca/course_archive/2016-17/W/3311/eiffel-docs/|Base & Mathmodels Docs]]

  * [[mathmodels|MathModels Download]]
  * [[eiffel-new|eiffel-new]] 

[[bon|BON]]

**Eiffel**

  * [[syntax|Syntax]]
  * [[void-safety|Void Safety]] 
  * [[Loops & across iteration]]
  * [[scoop| SCOOP]]
  * [[delta|Delta]]
  * [[equality|Equality (tilde)]]

**EiffelStudio**

  * [[https://www.eiffel.org/doc/eiffelstudio/EiffelStudio|IDE features]]
  * [[external-editor|External Editor (Vim)]] 
  * [[settings|Void safe settings]]
  * [[cluster|Add Cluster/Class]]
  * [[library|Using Libraries]]
  * [[command-line|Command line]]
  * [[ecf| ECF file]]
  * [[compile|Compile from Scratch]]
  * [[windows-install|Windows Intall Estudio]]

Eiffel Testing Framework (ETF)
  * [[regression|Regression Testing Script]]