doc/doc: completed hal8-folien.md13 years ago src/Add 'ocaml' build tool to the liquid-fixpoint package.12 years ago test/doc-test.hs: add missing Cabal2Nix.Version module to fix the test suite12 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.mdfix spelling12 years ago Setup.hsRe-use nixos-types library.15 years ago cabal2nix.cabalAdd NFData instances for our data types so that we can use them in combination with monad-par.12 years ago release.nixrelease.nix: switch build to GHC 7.8.412 years ago