Branches - fogti/mikan - Codeberg.org

This website requires JavaScript.

fogti/mikan

Fork 0

forked from 1lab/mikan

Code Pull requests Activity

24,283 commits 2 branches 0 tags 1.8 MiB

Default branch

main

a3beab3c1e · fix reference to Mikan (instead of Agda) in cabal.project.ghc-9.14.1 · Updated 2026年06月26日 18:13:15 +02:00

ZIP TAR.GZ

Branches

chore-make-test

897f506226 · chore: fix broken references to Mikan.cabal and remove obsolete 'test' targets · Updated 2026年06月27日 09:16:02 +02:00 fogti

1lab/mikan#136 Open

ZIP TAR.GZ

Delete branch

Deleting a branch is permanent. Although the deleted branch may continue to exist for a short time before it actually gets removed, it CANNOT be undone in most cases. Continue?