1lab/mikan

Fork 9

totbwf added this to the Initial release milestone 2026年04月29日 18:44:34 +02:00

totbwf self-assigned this 2026年04月29日 18:44:34 +02:00

totbwf added the

0 - type

discussion

label 2026年04月29日 18:44:44 +02:00

totbwf referenced this issue from a pull request that will close it, 2026年04月30日 17:12:04 +02:00

amyliao referenced this issue from a commit 2026年05月04日 18:18:26 +02:00

amyliao closed this issue 2026年05月04日 18:18:26 +02:00

Sign in to join this conversation.

No Branch/Tag specified

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".