oeiuwq.com / godnet
A Golang runtime and compilation backend for Delta Interaction Nets.
fork atom
godnet / cmd / gentests / tests / 103_confluence /
at main 3 files
oeiuwq.com test confluence
4d5c164d
input.nix
output.nix
reduction_test.go