[ enhancement ] update buildIdris Nix function to support withSource retroactively#3469
Merged
mattpolzin merged 1 commit intoidris-lang:mainfrom mattpolzin:build-idris-retroactive-with-src-supportJan 21, 2025
+116-61
