A Golang runtime and compilation backend for Delta Interaction Nets.
oeiuwq.com
Go D-Net - A Golang implementation of Delta Interaction Nets and compiler backend.
Built for Go D-Nix