Startling name of chapter in "Introduction to SPARK": "Initialization of Local Variables"

AdaCore / learn

Sources for learn.adacore.com

https://learn.adacore.com

Creative Commons Attribution 4.0 International

92 stars 37 forks source link

Startling name of chapter in "Introduction to SPARK": "Initialization of Local Variables" #1050

Open mgrojo opened 4 months ago

mgrojo commented 4 months ago

The chapter explains the Initializes aspect, which, as I understand, marks the initialization of package state implemented as global variables, not local.

https://learn.adacore.com/courses/intro-to-spark/chapters/04_State_Abstraction.html#initialization-of-local-variables