1
0
Fork
You've already forked mikan
0
forked from 1lab/mikan

Default branch

5fd3212d21 · fix: forbid anything with DotP subpatterns · Updated 2026年05月27日 18:20:22 +02:00

Branches

2a04f41d09 · feat: display hiding type in errors · Updated 2026年06月18日 14:22:58 +02:00 amyliao

0
24
1lab/mikan#130 Merged

595082c861 · feat: make instance search errors non-fatal · Updated 2026年06月13日 15:39:11 +02:00 pounce

0
23
1lab/mikan#128 Merged

b502ada679 · chore: support GHC 9.14 · Updated 2026年06月02日 09:51:44 +02:00 pounce

0
1
1lab/mikan#126 Merged

0286acb8f3 · fix: only allow pragmas in the same file · Updated 2026年05月21日 16:16:17 +02:00 pounce

12
1
1lab/mikan#111 Merged

765317c008 · chore: remove IO · Updated 2026年05月21日 14:14:47 +02:00 pounce

16
2
1lab/mikan#113 Merged

cb28256646 · feat: redo makefile · Updated 2026年04月27日 14:15:50 +02:00 pounce

83
1
1lab/mikan#49 Closed

9bc83f00eb · chore: add comment to woodpecker pipeline · Updated 2026年04月27日 02:59:38 +02:00 pounce

90
2
1lab/mikan#48 Merged

a8f9b20ce9 · chore: update woodpecker instructions · Updated 2026年04月27日 02:56:04 +02:00 pounce

90
2
1lab/mikan#47 Merged

7b263b9913 · chore: remove interactive · Updated 2026年04月24日 19:05:38 +02:00 pounce

125
1
1lab/mikan#28 Merged

c925042c90 · use mikan not agda · Updated 2026年04月20日 16:53:31 +02:00 pounce

144
0
1lab/mikan#8 Merged

a25c480a80 · wip: remove some more K-adjacent options · Updated 2026年04月20日 15:45:18 +02:00 pounce

146
2