search

Lamagraph / interaction-nets-in-fpga

Interaction nets based processor in Clash
MIT License
0 stars 0 forks source link

Lambda calculus to interaction nets translator #14

Open gsvgit opened 2 months ago

gsvgit commented 2 months ago

Possibly, enriched with constants and predefined operators