Search results

nix build fails because TwoSwitchesGate is an lhs file

Status: Open.

#95 In marcosh/crem;

· silky opened on May 13, 2024

Generate user stories from topology

Status: Open.

#94 In marcosh/crem;

· marcosh opened on Aug 17, 2023

Build a renderer to sketch.systems

Status: Open.

#85 In marcosh/crem;

· silky opened on Apr 13, 2023

Implement <code>AutomatonM</code> instance for <code>StateMachineT</code>

Status: Open.

#83 In marcosh/crem;

· marcosh opened on Mar 29, 2023

Improve naming strategy

Status: Open.

#82 In marcosh/crem;

· marcosh opened on Mar 23, 2023

Integrate nothunks

Status: Open.

#76 In marcosh/crem;

· marcosh opened on Mar 14, 2023

Understand better the relation between <code>Feedback</code> and <code>ArrowLoop</code>

Status: Open.

#74 In marcosh/crem;

· marcosh opened on Mar 14, 2023

Doctests on crem-examples not working on nix

Status: Open.

#64 In marcosh/crem;

· marcosh opened on Feb 27, 2023

Complex policy example

Status: Open.

#57 In marcosh/crem;

· marcosh opened on Feb 11, 2023

Better data structure to attach labels to machine

Status: Open.

#48 In marcosh/crem;

· marcosh opened on Feb 6, 2023

Avoid using <code>Compose</code> for <code>rmap</code> and <code>lmap</code>

Status: Open.

#45 In marcosh/crem;

· marcosh opened on Feb 2, 2023

Infer topology from the machine definition

Status: Open.

#41 In marcosh/crem;

· marcosh opened on Feb 1, 2023