1lab/mikan
13
52
Fork
You've already forked mikan
9
Search syntax
assignee:<username> Filter by assigned user
author:<username> Filter by the author
is:all All
is:closed Closed
is:open Open
mentions:<username> Filter by mentioned user
modified:[>|<]<date> Filter by last modified date
review:<username> Filter by user who reviewed
sort:<by>:[asc|desc] Sort by: created|comments|updated|deadline
New pull request
Label
Clear labels
1 - scope
language
1 - scope
language change
1 - scope
performance
1 - scope
task
A: dead-code
A: errors
A: highlighting
A: imports
A: infra
A: instance
A: lhs
A: modules
A: parallel
A: positivity
A: printing
A: records
A: scoping
A: termination
0 - type
bug
0 - type
discussion
0 - type
question
9 - status
duplicate
9 - status
info needed
9 - status
invalid
good first issue
upstream
Milestone
No milestone
Open milestones
Initial release
Projects
Clear projects
Open projects
Diagnostic reporting revamp
Assignee
Clear assignees
No assignee
amyliao
ncf
totbwf
chore/fix: unbreak larger parts of make test
Some checks are pending
ci/woodpecker/pr/test Pipeline is pending approval
#136 opened 2026年06月18日 20:35:49 +02:00 by fogti 1 waiting review
WIP: migrate from QuickCheck to Hedgehog
Some checks failed
ci/woodpecker/pr/test Pipeline failed
1 - scope
task
A: infra
#32 opened 2026年04月25日 01:48:28 +02:00 by VojtechStep 1 conflicting file
#27 opened 2026年04月24日 17:50:11 +02:00 by amyliao 2 conflicting files