anchor.diff:  { stdenv
   , lib
   , fetchFromGitHub
  -, fetchpatch
  -, texinfo
   , alex
   , happy
   , Agda
  
positive.code:     owner = "cedille";
      repo = "cedille";
      rev = "v${version}";
      sha256 = "17j7an5bharc8q1pj06615zmflipjdd0clf67cnfdhsmqwzf6l9r";
      fetchSubmodules = true;
    };
  
    nativeBuildInputs = [ texinfo alex happy ];
    buildInputs = [ Agda (ghcWithPackages (ps: [ps.ieee])) ];
  
    LANG = "en_US.UTF-8";
  
negative.code:     lib.optionalString (buildPlatform.libc == "glibc")
        "${buildPackages.glibcLocales}/lib/locale/locale-archive";
  
    postPatch = ''
      patchShebangs create-libraries.sh
    '';
  
    installPhase = ''
      install -Dm755 -t $out/bin/ cedille
  