Def∇: An APL-Style Self Reference Macro for Lean4By ibobev · 2026-10-15 · 1 points · 0 commentshttps://jamesoswald.dev/posts/defdel/By ibobev · 1 points · 0 comments · on Hacker News, read on BetterNews.Open the full discussion on BetterNews