Issues

• Case split tactic by "real" pattern matching

  agda/agda-stdlib-meta#27 · Filter by author carlostome opened on Mar 27, 2025
  1

• Organize utility functions

  agda/agda-stdlib-meta#22 · Filter by author WhatisRT opened on Feb 28, 2025

• Support mutually recursive types with autoHsType

  agda/agda-stdlib-meta#19 · Filter by author yveshauser opened on Jan 15, 2025
  2

• Tactics: more general by-eq that works recursively

  agda/agda-stdlib-meta#18 · Filter by author WhatisRT opened on Jan 8, 2025

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

  agda/agda-stdlib-meta#16 · Filter by author ana-pantilie opened on Nov 28, 2024
  2

• Remove debug output print

  agda/agda-stdlib-meta#11 · Filter by author WhatisRT opened on May 31, 2024

• Rename top-level modules/design a public interface

  agda/agda-stdlib-meta#7 · Filter by author WhatisRT opened on May 25, 2023
  1

• Use Felix's agda-base instead

  enhancement
  agda/agda-stdlib-meta#6 · Filter by author omelkonian opened on May 16, 2023

• Try out WellScoped reflection API

  agda/agda-stdlib-meta#5 · Filter by author omelkonian opened on Nov 18, 2022