doc/doc: completed hal8-folien.md13 years ago src/Configure Idris hook so that it works with versions prior to 0.9.9, too.13 years ago test/Spell modules that contain an executable's main function the same way the executable is going to be spelled, i.e. in lowercase.13 years ago .gitignoreadd to .gitignore15 years ago .travis.yml.travis.yml: enable automatic regression testing by travis-ci.org14 years ago LICENSEinitial version of the nixos-types library15 years ago README.mdHackage4Nix.hs: drop the notion of a "patched package"14 years ago Setup.hsRe-use nixos-types library.15 years ago cabal2nix.cabalSpell modules that contain an executable's main function the same way the executable is going to be spelled, i.e. in lowercase.13 years ago