Search results

Case split tactic by "real" pattern matching

Status: Open.

#27 In agda/agda-stdlib-meta;

· carlostome opened on Mar 27, 2025

Organize utility functions

Status: Open.

#22 In agda/agda-stdlib-meta;

· WhatisRT opened on Feb 28, 2025

Support mutually recursive types with <code>autoHsType</code>

Status: Open.

#19 In agda/agda-stdlib-meta;

· yveshauser opened on Jan 15, 2025

Tactics: more general <code>by-eq</code> that works recursively

Status: Open.

#18 In agda/agda-stdlib-meta;

· WhatisRT opened on Jan 8, 2025

[Bug] de Bruijn index is not in scope in the context

Status: Open.

#16 In agda/agda-stdlib-meta;

· ana-pantilie opened on Nov 28, 2024

Remove debug output print

Status: Open.

#11 In agda/agda-stdlib-meta;

· WhatisRT opened on May 31, 2024

Rename top-level modules/design a public interface

Status: Open.

#7 In agda/agda-stdlib-meta;

· WhatisRT opened on May 25, 2023

Use Felix's agda-base instead

enhancementNew feature or requestNew feature or request

Status: Open.

#6 In agda/agda-stdlib-meta;

· omelkonian opened on May 16, 2023

Try out WellScoped reflection API

Status: Open.

#5 In agda/agda-stdlib-meta;

· omelkonian opened on Nov 18, 2022