Closed mattpolzin closed 2 weeks ago
This should help with performance.
Closed by https://github.com/mattpolzin/nix-idris2-packages/commit/14659985d27bb528fc38d78ed0bbf39e24c5bbe5
This should help with performance.