oeiuwq.com / godnet
A Golang runtime and compilation backend for Delta Interaction Nets.
fork atom
godnet / cmd / gentests / tests / 102_non_normalizing /
at main 2 files
oeiuwq.com test non-canonical
a1f3213b
input.nix
reduction_test.go