A Nix language compiler into Delta Interaction Nets
2
fork

Configure Feed

Select the types of activity you want to include in your feed.

Revise README for clarity and remove title

Removed project title and updated description for clarity.

authored by oeiuwq.com and committed by

GitHub f75fcbb4 8e9f3f40

+1 -3
+1 -3
README.md
··· 1 - # Godnix - Nix to Lambda Calculus Compiler 2 - 3 1 > **_Go_** D-_Nix_ -- A Nix compiler into Delta Interaction Nets. 4 2 5 - Godnix is a compiler that translates Nix expressions to Lambda calculus and evaluates them using the [godnet](https://github.com/vic/godnet) interaction net reduction engine. 3 + Godnix is a compiler that translates Nix expressions using the [GoD-Net](https://github.com/vic/godnet) interaction net reduction engine. 6 4 7 5 ## Features 8 6