oeiuwq.com / godnet
A Golang runtime and compilation backend for Delta Interaction Nets.
fork atom
godnet / cmd / gentests / generated / 040_let_simple /
at main 3 files
oeiuwq.com move generated tests
e3dfcadc
input.nix
output.nix
reduction_test.go