All issues

Search results

Bounds: entry-posted linear chains converge by interval ratcheting — rounds scale with domain width, not chain length

Status: Open.

#119 In anoma/AL-Ex;

· mariari opened on Aug 8, 2026

derivation_tree: a free ask's provisional clause_exit orphans the frame's later calls

Status: Open.

#117 In anoma/AL-Ex;

· mariari opened on Aug 8, 2026

Store AL runs as objects

Status: Open.

#111 In anoma/AL-Ex;

· l4e21 opened on Aug 4, 2026

Experiment with Tabling Resolution and Memoisation

Status: Open.

#110 In anoma/AL-Ex;

· l4e21 opened on Aug 3, 2026

Do E-Graph + Sea of Nodes Compilation Experimentation

Status: Open.

#107 In anoma/AL-Ex;

· l4e21 opened on Aug 2, 2026

Lean Formalisation of the Operational Semantics?

Status: Open.

#106 In anoma/AL-Ex;

· l4e21 opened on Aug 2, 2026

Support Constraints over Mutually Unbound Multiplicative Intervals

Status: Open.

#105 In anoma/AL-Ex;

· l4e21 opened on Aug 2, 2026

Support transactional nesting

Status: Open.

#90 In anoma/AL-Ex;

· l4e21 opened on Jul 13, 2026

Explore options for mode declarations

Status: Open.

#82 In anoma/AL-Ex;

· l4e21 opened on Jul 11, 2026

implement c3 linearisation (or something similar)

Status: Open.

#78 In anoma/AL-Ex;

· l4e21 opened on Jul 10, 2026

Evaluate (and Possibly Improve) Existing Object Printing Capabilities

Status: Open.

#76 In anoma/AL-Ex;

· l4e21 opened on Jul 9, 2026

Experiment with fuzzy logics

Status: Open.

#67 In anoma/AL-Ex;

· l4e21 opened on Jul 1, 2026