1.
The Felis Programming Language
2.
Getting Started
3.
Language Design
4.
Types
5.
Proofs
Light
Rust
Coal
Navy
Ayu
The Felis Programming Language
The Felis Programming Language
This document is about the Felis Programming Language.