Search results

The <code>assert</code> function should not be used in erased positions

bugSomething isn't workingSomething isn't working

Status: Open.

#428 In agda/agda2hs;

· jespercockx opened on Sep 11, 2025

· 

1.5

Monad, Applicative, Functor: Add equations for default definitions and superclass methods

Status: Open.

#411 In agda/agda2hs;

· HeinrichApfelmus opened on May 22, 2025

Could the Agda library be published to Nix Packages under <code>agdaPackages</code>?

nix

Status: Open.

#387 In agda/agda2hs;

· cyberglot opened on Dec 25, 2024

Add predecessor for natural numbers

enhancementNew feature or requestNew feature or request

Status: Open.

#385 In agda/agda2hs;

· jespercockx opened on Dec 19, 2024

agda2hs locate doesn't work with the nix build

nix

Status: Open.

#384 In agda/agda2hs;

· liesnikov opened on Dec 18, 2024

agda2hs locate doesn't appear in the --help

Status: Open.

#383 In agda/agda2hs;

· liesnikov opened on Dec 18, 2024

Incorrect transpilation of polymorphic <code>where</code> clauses

error-reporting

Status: Open.

#362 In agda/agda2hs;

· HeinrichApfelmus opened on Sep 16, 2024

Support <code>hiding</code> things from the prelude

enhancementNew feature or requestNew feature or request

prelude

Status: Open.

#356 In agda/agda2hs;

· omelkonian opened on Sep 2, 2024

Compiling declared but not-yet-defined datatype silently generates no code

bugSomething isn't workingSomething isn't working

Status: Open.

#346 In agda/agda2hs;

· jespercockx opened on Jul 27, 2024

Macro generates variable with out-of-scope name

error-reporting

Status: Open.

#344 In agda/agda2hs;

· jespercockx opened on Jul 26, 2024

Address inconsistent style of typeclass laws

enhancementNew feature or requestNew feature or request

Status: Open.

#336 In agda/agda2hs;

· omelkonian opened on Jun 28, 2024

Compile multiple arguments pattern lambda to multi-way lambda expressions

enhancementNew feature or requestNew feature or request

Status: Open.

#335 In agda/agda2hs;

· flupe opened on Jun 19, 2024