update Idris2 dependency

idris-community · Nov 8, 2024 · 38df36e · 38df36e
1 parent a09f4a1
commit 38df36e
Show file tree

Hide file tree

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