From 13a2577ae26d90bd1fae97a5b5efd272d94b9bd9 Mon Sep 17 00:00:00 2001 From: VegOwOtenks Date: Tue, 12 Aug 2025 15:11:09 +0200 Subject: [PATCH] doc: Readme --- README.md | 5 +++++ 1 file changed, 5 insertions(+) diff --git a/README.md b/README.md index a56d424..9fc2100 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](https://rust-lang.org).