oeiuwq.com / godnet
A Golang runtime and compilation backend for Delta Interaction Nets.
fork atom
godnet / cmd / gentests / generated / 005_erase_complex / input.nix
at main 1 lines 28 B view raw
oeiuwq.com move generated tests
e3dfcadc
1(((x: (y: x)) a) ((z: z) b))