doc/doc: completed hal8-folien.md13 years ago src/Update post-process hook for Agda.12 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.mdFixed broken links in README13 years ago Setup.hsRe-use nixos-types library.15 years ago cabal2nix.cabalcabal2nix.cabal: tentatively bump version number12 years ago release.nixrelease.nix: update builds to ghc 7.8.312 years ago