oeiuwq.com / godnix
A Nix language compiler into Delta Interaction Nets
fork atom
godnix / examples / lambda.nix
at main 56 B view raw
1# Lambda function 2let 3 add = x: y: x + y; 4in 5 add 4 6