reduce-equations: Commit: fe70679a4a6c13e989b07597143a25e5bd7c1a2e

Branch: master

Author: Chris Warburton <chriswarbo@gmail.com>
Date: Fri Jan 18 06:40:28 AM UTC 2019
Commit: fe70679a4a6c13e989b07597143a25e5bd7c1a2e
Parent: 5f11aedab15cfab82f91250412221aab19af0d5c (diff to parent)
Log message:

    Force QuickCheck version

nixpkgs.nix (old)                                                 (diff) | 2 ++
 1 file changed, 2 insertions(+)

Files:

• .gitignore (raw)
• LICENSE (raw)
• nixpkgs.nix (raw)
• README (raw)
• reduce-equations.cabal (raw)
• release.nix (raw)
• Setup.hs (raw)
• shell.nix (raw)
• test.sh (raw)
• .issues
  • d030ecefe68b07dc
    • new
      • 1510061785.M697272P10015Q1.nixos (raw)
      • 1510105608.M608680P27296Q1.nixos (raw)
  • e039a3ea21574808
    • new
      • 1510061141.M260230P8495Q1.nixos (raw)
      • 1510076026.M305035P5152Q1.nixos (raw)
• reduce-equations
  • Main.hs (raw)
• src
  • Algebra
    • Equation
      • Internal.hs (raw)
      • Reduce.hs (raw)
      • Internal
        • Eval.hs (raw)
        • Types.hs (raw)
• test
  • Main.hs (raw)
  • data
    • list-extras.json (raw)
    • nat.json (raw)
    • nat-simple-expect.json (raw)
    • nat-simple-raw.json (raw)
    • tip.json (raw)