Definitive Statements
These two types of statement are crucial to EDEN, distinguishing it from a non-definitive language.
Formula Definition
Action Specification
![[BACK]](../../gifs/left.gif)
![[FORWARD]](../../gifs/right.gif)
![[HOME]](../../gifs/home.gif)
![[UP]](../../gifs/index.gif)
![[HELP]](../../gifs/help.gif)