1lab/mikan

Fork 9

ncf added 1 commit 2026年05月15日 11:56:44 +02:00

User-facing changes:
- Renames `--print-agda-data-dir` to `--print-data-dir` and
 `--print-agda-app-dir` to `--print-app-dir`.
- Renames the environment variable `Agda_datadir` to `Mikan_datadir`.

ncf added 1 commit 2026年05月15日 17:13:59 +02:00

amyliao merged commit bfdbb629c1 into main 2026年05月21日 15:35:30 +02:00

Sign in to join this conversation.

Clear labels

1 - scope

language

Backwards-compatible changes to the surface language, such as adding new features.

1 - scope

language change

Breaking changes to a documented part of the surface language. These should be documented and specifically called out in the changelog.

1 - scope

performance

Semantics-preserving performance work.

1 - scope

task

Changes that are not apparent to the user, e.g. developer documentation and refactors, which do not need to be documented.

A: dead-code

Dead code elimination and --save-metas.

A: errors

Reporting of error and warning messages.

A: highlighting

Highlighting during interaction & literate compilation

A: imports

Handling of imports and interface file de/serialization.

A: infra

Iinfrastructure (e.g. CI, developer documentation, the build system, or the repository itself)

A: instance

Instance declarations, arguments, and resolution

A: lhs

LHS checking, coverage checking, and clause compilation

A: modules

Declaration and instantiation of parametrised modules.

A: parallel

Parallel typechecking.

A: positivity

Positivity checking

A: printing

Pretty-printing, display forms, and the wording of diagnostic messages

A: records

Record declarations, record expressions and copattern matching

A: scoping

Scope checking (ConcreteToAbstract)

A: termination

Termination checking

0 - type

bug

Issues describing an incorrect behaviour in the project, typos in the documentation, etc.

0 - type

discussion

An issue raised to gather opinions on a proposed change, or a suggested language change.

0 - type

question

An issue raised to ask a question.

9 - status

duplicate

This issue or pull request already exists.

9 - status

info needed

More information is needed from the submitter to decide how to proceed with the issue report.

9 - status

invalid

The issue report or pull request does not describe an actual bug, or does otherwise does not meet the contributing guidelines.

good first issue

Interested in contributing? Get started here.

upstream

Related to an upstream repository, already reported there

Milestone

No milestone

Subscribe

The due date is invalid or out of range. Please use the format "yyyy-mm-dd".