Skip to content

Add -dno-dump-* flags

I often do -ddump-simpl and -ddump-deriv in GHCi, but apparently there is no way to turn them off?

To upload designs, you'll need to enable LFS and have an admin enable hashed storage. More information