Kast

An experimental programming language

NOT READY YET

See more on the website

Bibliography

• Pratt Parser
• Type Inference in Rust
• GhostCell - Separating Permissions from Data in Rust
• The Simple Essence of Algebraic Subtyping: Principal Type Inference with Subtyping Made Easy