Search results

Documentation for the ASG zipper is unclear about moves on broken zippers

bugSomething isn't workingSomething isn't working

documentationImprovements or additions to documentationImprovements or additions to documentation

Status: Open.

Bug

#134 In mlabs-haskell/covenant;

· kozross opened on Oct 16, 2025

Align dependencies and GHC with Plutus Core

enhancementNew feature or requestNew feature or request

good first issueGood for newcomersGood for newcomers

Status: Open.

Feature

#132 In mlabs-haskell/covenant;

· kozross opened on Oct 7, 2025

Dedicated type for type arguments in <code>App</code>

enhancementNew feature or requestNew feature or request

good first issueGood for newcomersGood for newcomers

Status: Open.

Feature

#128 In mlabs-haskell/covenant;

· kozross opened on Oct 6, 2025

Introduce irrelevant abstraction checking

bugSomething isn't workingSomething isn't working

Status: Open.

Bug

#91 In mlabs-haskell/covenant;

· kozross opened on Jun 12, 2025

Upgrade prettyprinter to handle <code>AbstractTy</code> as well

enhancementNew feature or requestNew feature or request

Status: Open.

Feature

#82 In mlabs-haskell/covenant;

· kozross opened on Jun 4, 2025

<code>ASGBuilder</code> examples

enhancementNew feature or requestNew feature or request

help wantedExtra attention is neededExtra attention is needed

Status: Open.

Feature

#34 In mlabs-haskell/covenant;

· kozross opened on Feb 2, 2025