Getting Started

This section will guide you through installing Keel and writing your first program.

In This Section

• Installation - Install Keel on your system
• Hello World - Write your first Keel program
• Using the REPL - Interactive exploration with the Keel REPL