Search results

Update Agda and agda-stdlib

Status: Open.

#90 In VariantSync/Vatras;

· ibbem opened on Jul 10, 2025

Create a translation <code>VT.Rename</code> from <code>VT F1</code> to <code>VT F2</code>

Status: Open.

#87 In VariantSync/Vatras;

· ibbem opened on Jul 4, 2025

Simplify Translation Module

minor

Status: Open.

#84 In VariantSync/Vatras;

· pmbittner opened on Jun 23, 2025

Refactor: Equaility of 2CC

Status: Open.

#83 In VariantSync/Vatras;

· pmbittner opened on Jun 19, 2025

Simplify importing the library for certain atom sets

help wantedExtra attention is neededExtra attention is needed

Status: Open.

#76 In VariantSync/Vatras;

· pmbittner opened on Sep 26, 2024

Consider making the atom set a parameter instead of index

Status: Open.

#74 In VariantSync/Vatras;

· ibbem opened on Aug 28, 2024

Add Parameters to Demo

good first issueGood for newcomersGood for newcomers

minor

Status: Open.

#47 In VariantSync/Vatras;

· pmbittner opened on Jul 1, 2024