oeiuwq.com / godnix
A Nix language compiler into Delta Interaction Nets
fork atom
godnix / examples /
at main 5 files
add.nix
identity.nix
lambda.nix
let.nix
simple.nix