Console Window

The console windows allows us to test compiled specifications. It contains a text component where we can type valid terms. We can evaluate a term using the button "Execute". There are also some navigate button to access recently edited terms.