Update Idris2 submodule and flake input to grab recent bug fixes

idris-community · Sep 15, 2024 · 0d60d8e · 0d60d8e
1 parent 9719373
commit 0d60d8e
Show file tree

Hide file tree

Showing 2 changed files with 152 additions and 14 deletions.
diff --git a/Idris2 b/Idris2
diff --git a/flake.lock b/flake.lock