.circleci/Clean nix configuration7 years ago app/Drop ‘yaml’ configuration7 years ago data/Adjust rendering of kind signatures and implicit parameters7 years ago nix/Drop redundant trailing newlines in nix files7 years ago src/Adjust rendering of kind signatures and implicit parameters7 years ago tests/Sort language pragmas and fix their placement in modules7 years ago .gitignoreClean nix configuration7 years ago CHANGELOG.mdInitial commit8 years ago CONTRIBUTING.mdAdd ‘CONTRIBUTING.md’ file to the repository7 years ago DESIGN.mdMinor corrections to the design document8 years ago LICENSE.mdReplace current year with the word "present"7 years ago README.mdDrop the mention of configuration file from readme7 years ago Setup.hsInitial commit8 years ago default.nixDrop redundant trailing newlines in nix files7 years ago ormolu.cabalDrop ‘yaml’ configuration7 years ago shell.nixClean nix configuration7 years ago