~jack/misc

ref: e96a4e120a45ae298c8de01ec093765dc665e38d misc/lambda-c/lambda-c.nix -rw-r--r-- 364 bytes
e96a4e12Jack Kelly lambda-c: Capture-avoiding substitution 7 months ago
                                                                                
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
{ autoreconfHook, lib, stdenv }:

stdenv.mkDerivation {
  name = "lambda-c";
  src = ./.;

  buildInputs = [ autoreconfHook ];

  meta = with lib; {
    homepage = "https://git.sr.ht/~jack/misc";
    description = "Toy lambda calculus interpreter";
    license = licenses.agpl3Plus;
    maintainers = [ maintainers.endgame ];
    platforms = platforms.all;
  };
}