oeiuwq.com / godnet
A Golang runtime and compilation backend for Delta Interaction Nets.
fork atom
godnet / pkg / lambda /
at main 7 files
oeiuwq.com init
38aeee15
ast.go
lambda_calculus_test.go
optimality_test.go
parser.go
translate.go
translate_test.go
translation_formulas_test.go