Interaction-Calculus

Interaction-Calculus copied to clipboard

I might be mistaken as I'm learning IC but I don't think the tag of the second DUP should be modified. Current: ``` ! &L{x0,x1} = (!$R{y0,y1}=Y;X); T ------------------------------------- DUP-DUP...

idal-dia

typo in 2nd diagram (of commutation law)

1

original: ``` Lambda Application Pair Application let {a b} = (λx body) in cont ({fst snd} arg) ------------------------------ --------------- a

tribbloid

This PR adds the `REF` nodes for lazy allocation of `def` sub-nets. It also implements extraction of sub-terms into new definitions when possible. E.g. ``` def double = λn (n...

Boscop

nitpicks

2

adamnemecek

Some programs make it hang/loop forever

2

This program makes it hang forever: ```hs def Z = λs λz (z) def S = λn λs λz dup #s s1 s2 = s; (s1 (n s2 z)) def...

Boscop

Add extension for non-deterministic choice

1

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

rshn-mrry

Naming

6

If anyone has a suggestion for a better name (since Abstract Calculus seems to be impopular) please let me know. Symmetric Lambda Calculus (since it is isomorphic to Symmetric Interaction...

VictorTaelin