From 85f0f5bd9ba573ad288ed582399b37e126f598c9 Mon Sep 17 00:00:00 2001
From: tslil <tslil@posteo.de>
Date: Fri, 24 Apr 2026 08:37:02 +0100
Subject: checking for injections, projections, rm vesitigial App

---
 src/ast.rs | 3 ---
 1 file changed, 3 deletions(-)

(limited to 'src/ast.rs')

diff --git a/src/ast.rs b/src/ast.rs
index 1b34fc3..f517b37 100644
--- a/src/ast.rs
+++ b/src/ast.rs
@@ -126,9 +126,6 @@ pub enum Element {
         element: Box<Element>,
     },
 
-    #[display("{_0} {_1}")]
-    App(Box<Element>, Box<Element>),
-
     #[display("case {} of {{ {} }}", scrutinee, arms.iter().map(|a| a.to_string()).collect::<Vec<_>>().join(" | "))]
     Case {
         scrutinee: Box<Element>,
-- 
cgit v1.3.1