# scalie
```
   ▄████████  ▄████████    ▄████████  ▄█        ▄█     ▄████████ 
  ███    ███ ███    ███   ███    ███ ███       ███    ███    ███ 
  ███    █▀  ███    █▀    ███    ███ ███       ███▌   ███    █▀  
  ███        ███          ███    ███ ███       ███▌  ▄███▄▄▄     
▀███████████ ███        ▀███████████ ███       ███▌ ▀▀███▀▀▀     
         ███ ███    █▄    ███    ███ ███       ███    ███    █▄  
   ▄█    ███ ███    ███   ███    ███ ███▌    ▄ ███    ███    ███ 
 ▄████████▀  ████████▀    ███    █▀  █████▄▄██ █▀     ██████████ 
                                     ▀                           
```

## 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).