break recursion in flake inputs#247

mattpolzin merged 1 commit intoidris-community:mainidris-community/idris2-lsp:mainfrom

mattpolzin:proposed-alternative-breaking-recursionmattpolzin/idris2-lsp:proposed-alternative-breaking-recursionCopy head branch name to clipboard