6 ms·
> Think inets as like sort of lambda calculus runtime: > lambdas -> inets -> reduced inets -> lambdas a bit like Tree Calculus but with nets.
by sumnole 2y ago
> Think inets as like sort of lambda calculus runtime:
> lambdas -> inets -> reduced inets -> lambdas
a bit like Tree Calculus but with nets.