From fc09534e6a1845af49c6a055d143af095fae8ef4 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..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).