1.7 KiB
1.7 KiB
scalie
▄████████ ▄████████ ▄████████ ▄█ ▄█ ▄████████
███ ███ ███ ███ ███ ███ ███ ███ ███ ███
███ █▀ ███ █▀ ███ ███ ███ ███▌ ███ █▀
███ ███ ███ ███ ███ ███▌ ▄███▄▄▄
▀███████████ ███ ▀███████████ ███ ███▌ ▀▀███▀▀▀
███ ███ █▄ ███ ███ ███ ███ ███ █▄
▄█ ███ ███ ███ ███ ███ ███▌ ▄ ███ ███ ███
▄████████▀ ████████▀ ███ █▀ █████▄▄██ █▀ ██████████
▀
What is this?
I am developing a linear programming language, it is called scalie.
If you're interested in linear types, read up about it! Maybe you have heard about it before, maybe when someone mentioned Rust.