Hey @danaugrs,
Thank you so much for your research,
I have a work in progress implementation in Go https://github.com/vic/godnet, that I'm using to compile Nix language into d-nets, well at least that is my goal. :)
My focus in exploring how d-net optimality/confluence plays with lazy languages like Nix. And also to see how far can I get with a faster than c++ Nix implementation.
Hey @danaugrs,
Thank you so much for your research,
I have a work in progress implementation in Go https://github.com/vic/godnet, that I'm using to compile Nix language into d-nets, well at least that is my goal. :)
My focus in exploring how d-net optimality/confluence plays with lazy languages like Nix. And also to see how far can I get with a faster than c++ Nix implementation.