=====Eiffel Language Resources=====

Eiffel Introduction

  *[[http://www.eecs.yorku.ca/~eiffel/eiffel-guide/|A Guide to Eiffel Syntax]] 
  *[[https://www.eiffel.org/doc/eiffel/Language_reference|Eiffel Language Reference]] (Quick Reference and Void Safety)
  * [[https://www.eiffel.org/doc/eiffel/Eiffel_programming_language_syntax|Detailed Syntax]]

[[https://www.eiffel.org/files/doc/static/trunk/libraries/base/index.html|Online API]] - searchable API 

[[https://www.eiffel.org/doc/eiffel/Eiffel|Eiffel Method and Language]] - main Eiffel documentation

[[https://wiki.eecs.yorku.ca/project/eiffel/_media/getting_started:eiffel-essentials.pdf|Eiffel Essentials]] - includes introduction to agents, BON notation, style guidelines and syntax keywords

[[https://wiki.eecs.yorku.ca/project/eiffel/_media/getting_started:eiffel-style.pdf|A Sense of Style]] - a guide to choosing suitable class/feature names and code formatting. See more [[:eiffel:style|here]]. 



[[https://wiki.eecs.yorku.ca/project/eiffel/_media/getting_started:etl_tuples.pdf|Tuples]].
[[:eiffel:tuples:example|Tuple Example]].

[[https://wiki.eecs.yorku.ca/project/eiffel/_media/getting_started:etl_agents.pdf|Agents]]. [[:eiffel:agents:simplified|Simplified notation]].

[[http://anonymous@svn.eecs.yorku.ca/repos/sel-open/misc/tutorial/|Snippets of Eiffel Code]] (login with ''anonymous'', no passwd required).

[[http://docs.eiffel.com/book/method/void-safe-programming-eiffel|Void Safety]]. 
  * {{ :eiffel:meyer-voidsafety.pdf |Ending Null Pointer Crashes}}; Void safety relies on type declarations and static analysis.