Magnus Viernickel authored Feb 07, 2023 and Sven Tennie committed Feb 18, 2023

[feat] check formatting in CI, document inputs to ghc.nix, restore old usage of shell.nix, add more documentation to README, ignore results