Search results

Ensure that unifiables don't escape applications by way of datatypes

bugSomething isn't workingSomething isn't working

milestone-3Introduction and elimination formsIntroduction and elimination forms

Status: Open.

#103 In mlabs-haskell/covenant;

· kozross opened on Jul 18, 2025

Check for invalid tyvar instantiations for datatypes by encoding needed

bugSomething isn't workingSomething isn't working

milestone-3Introduction and elimination formsIntroduction and elimination forms

Status: Open.

#96 In mlabs-haskell/covenant;

· kozross opened on Jun 27, 2025

Introduce irrelevant abstraction checking

bugSomething isn't workingSomething isn't working

Status: Open.

#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.

#82 In mlabs-haskell/covenant;

· kozross opened on Jun 4, 2025

Pattern matching elimination form

enhancementNew feature or requestNew feature or request

milestone-3Introduction and elimination formsIntroduction and elimination forms

Status: Open.

#77 In mlabs-haskell/covenant;

· kozross opened on May 15, 2025

Introduction forms

enhancementNew feature or requestNew feature or request

milestone-3Introduction and elimination formsIntroduction and elimination forms

Status: Open.

#76 In mlabs-haskell/covenant;

· kozross opened on May 15, 2025

Design Consideration.

questionFurther information is requestedFurther information is requested

Status: Open.

#44 In mlabs-haskell/covenant;

· jaredponn opened on Feb 11, 2025

<code>ASGBuilder</code> examples

enhancementNew feature or requestNew feature or request

help wantedExtra attention is neededExtra attention is needed

Status: Open.

#34 In mlabs-haskell/covenant;

· kozross opened on Feb 2, 2025

Desirables for code generator

milestone-5c2uplc code generatorc2uplc code generator

questionFurther information is requestedFurther information is requested

Status: Open.

#2 In mlabs-haskell/covenant;

· kozross opened on Dec 17, 2024