oeiuwq.com / godnet
A Golang runtime and compilation backend for Delta Interaction Nets.
fork atom
godnet / cmd / gentests / tests /
at main 3 folders
oeiuwq.com test confluence
4d5c164d
101_no_optimal
102_non_normalizing
103_confluence