Search results

Typo in Readme

Status: Open.

#24 In VictorTaelin/Interaction-Calculus;

· idal-dia opened on Apr 25, 2025

typo in 2nd diagram (of commutation law)

Status: Open.

#20 In VictorTaelin/Interaction-Calculus;

· tribbloid opened on Jun 5, 2024

Some programs make it hang/loop forever

Status: Open.

#16 In VictorTaelin/Interaction-Calculus;

· Boscop opened on Jul 3, 2023

Add extension for non-deterministic choice

Status: Open.

#4 In VictorTaelin/Interaction-Calculus;

· rshn-mrry opened on Dec 9, 2018

Naming

Status: Open.

#1 In VictorTaelin/Interaction-Calculus;

· VictorTaelin opened on Aug 29, 2018