Add extension for non-deterministic choice

VictorTaelin / Interaction-Calculus

A programming language and model of computation that matches the optimal λ-calculus reduction algorithm perfectly.

MIT License

758 stars 55 forks source link

Open rashane-murray opened 5 years ago

rashane-murray commented 5 years ago

Is there an implementation of amb agent for representing non-deterministic computations?

VictorTaelin commented 5 years ago

Not from me, sorry. Anton has implemented those.