17 lines
1.7 KiB
Markdown
17 lines
1.7 KiB
Markdown
# 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](https://rust-lang.org).
|