GF Web IDE

Portability, works on multiple plaforms

• Linux, Mac, Windows
• Touch-based Android and iOS devices
• User guidance
  • Error avoidance
  • Agreement between abstract and concrete syntax
  • Some error detection integrated in editor
    • Overall syntax
    • Scoping