diff --git a/README.md b/README.md index a56d424..b89d464 100644 --- a/README.md +++ b/README.md @@ -10,3 +10,8 @@  ▄████████▀  ████████▀    ███    █▀  █████▄▄██ █▀     ██████████                                       ▀                            ``` + +## What is this? + +I am developing a linear programming language, it is called scalie. +If you're interested in [linear types](https://en.wikipedia.org/wiki/Substructural_type_system), read up about it! Maybe you have heard about it before, maybe when someone mentioned [Rust](rust-lang.org).