From 1c2fe5d35974cd28586883f539691b1b395323d1 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Ji=C5=99=C3=AD=20Bene=C5=A1?= <mail@jiribenes.com>
Date: Mon, 9 Sep 2024 14:24:05 +0200
Subject: [PATCH] Update tagline in meta information about Effekt

---
 flake.nix | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/flake.nix b/flake.nix
index 00049c1..9712ffb 100644
--- a/flake.nix
+++ b/flake.nix
@@ -58,7 +58,7 @@
         # Meta information about the Effekt programming language
         effektMeta = {
           mainProgram = "effekt";
-          description = "A research language with effect handlers and lightweight effect polymorphism";
+          description = "A language with lexical effect handlers and lightweight effect polymorphism";
           homepage = "https://effekt-lang.org/";
           license = pkgs.lib.licenses.mit;
         };