Issues

• Internal error

  agda/agda2lambox#49 · Filter by author flupe opened on Feb 2, 2026
  1

• Remove custom treeless pipeline

  good first issueicebox
  agda/agda2lambox#36 · Filter by author flupe opened on Dec 4, 2025

• Consider removing the sexpresso dependency, or ask for it to be updated

  agda/agda2lambox#29 · Filter by author flupe opened on Nov 25, 2025
  1

• Implement a Typed LBox typechecher?

  enhancementhelp wanted
  agda/agda2lambox#24 · Filter by author flupe opened on Nov 24, 2025

• Laziness

  enhancementicebox
  agda/agda2lambox#12 · Filter by author flupe opened on Jan 29, 2025

• Prevent (or support) induction recursion

  bugenhancementicebox
  agda/agda2lambox#10 · Filter by author flupe opened on Jan 24, 2025

• Cache compilation of modules

  enhancementicebox
  agda/agda2lambox#9 · Filter by author flupe opened on Jan 24, 2025

• Remove constructor eta-expansion

  enhancement
  agda/agda2lambox#8 · Filter by author flupe opened on Jan 24, 2025

• Support coinduction

  enhancementicebox
  agda/agda2lambox#7 · Filter by author flupe opened on Jan 24, 2025

• Support projection-like definitions

  bugenhancement
  agda/agda2lambox#6 · Filter by author flupe opened on Jan 24, 2025
  1

• Support Nat literal patterns

  enhancementicebox
  agda/agda2lambox#4 · Filter by author flupe opened on Jan 24, 2025