Menu
Flamingo
Docs
GitHub
🌜
🌞
Flamingo
Docs
GitHub
Menu
Start Here ️
Intro
Flamingo and the Tarpit
Installing Flamingo
Basics
Intro
Step 1: Sorts
Step 2: Relationships
Step 3: Actions
Step 4: Axioms
Verifying Your Program️
Walkthrough: TodoMVC
Intro
Architecture Overveiw
Encoding the Spec
Creating a Session
Querying a Session
Happy Reading
Meta
Contributing
Installing Flamingo 📦
Installing Flamingo is easy! Just grab it from NPM:
Copy
npm i -g flamingo-lang
Edit this page
Previous
« Flamingo and the Tarpit 💀
Next
Intro 🤓 »