agda / cornelis

agda-mode for neovim
BSD 3-Clause "New" or "Revised" License
135 stars 23 forks source link

Reduce closure size of Nix derivation #146

Closed phijor closed 7 months ago

phijor commented 7 months ago

Haskell derivations are notoriously large. Putting the final binary into its own output (bin) reduces the package closure size from ~1GiB to ~60MiB. The default output for installation is now cornelis.bin, but all other build artifacts are still available in cornelis.out, cf. the manual.

isovector commented 7 months ago

Thanks so much!