-
Notifications
You must be signed in to change notification settings - Fork 420
All issues
Issue creation is restricted in this repository
Issues
is:issue state:open
is:issue state:open
Search results
- Status: Open.#8634 In agda/agda;
- Status: Open.#8633 In agda/agda;
--build-libraryfails on builtin librarybuildConcerning building of AgdaConcerning building of Agdabuild-failureFailures while compiling Agda itself with a specific configurationFailures while compiling Agda itself with a specific configurationbuild-libraryAbout the --build-library fieatureAbout the --build-library fieaturebuiltinEnhancements to the builtin modules and builtin definitionsEnhancements to the builtin modules and builtin definitionscabalBuild problems specifically related to cabal-installBuild problems specifically related to cabal-installplatform: nixBuilding and running with Nix/NixOSBuilding and running with Nix/NixOSregression on masterUnreleased regression in development version (Change to "regression in ..." should it be released!)Unreleased regression in development version (Change to "regression in ..." should it be released!)stackConcerning building with stackConcerning building with stackux: packagingDistribution of, and packaging of, Agda itselfDistribution of, and packaging of, Agda itselfStatus: Open.#8627 In agda/agda;- Status: Open.#8626 In agda/agda;
- Status: Open.#8625 In agda/agda;
- Status: Open.#8624 In agda/agda;
- Status: Open.#8621 In agda/agda;
Emacs normalize requires qualified names for things defined in submodules
faqUser question (not in changelog)User question (not in changelog)Status: Open.#8618 In agda/agda;- Status: Open.#8609 In agda/agda;
- Status: Open.#8608 In agda/agda;
[ with ] nested irrefutable
withs cause a parse error!?parserProblems with the parser's implementation (rather than with decisions about syntax)Problems with the parser's implementation (rather than with decisions about syntax)withProblems with the "with" abstractionProblems with the "with" abstractionStatus: Open.#8599 In agda/agda;When .agda and .agdai are updated on disk, highlighting is from the future
ux: emacsIssues relating to the Emacs agda2-modeIssues relating to the Emacs agda2-modeux: highlightingIssues relating to syntax highlightingIssues relating to syntax highlightingStatus: Open.#8597 In agda/agda;