1
0
Fork
You've already forked mikan
0
forked from 1lab/mikan
No description
  • Haskell 60.5%
  • Agda 27.4%
  • TeX 5%
  • HTML 3.7%
  • Emacs Lisp 1.8%
  • Other 1.6%
2026年04月29日 00:09:45 +02:00
.woodpecker ci: use nix build instead of nix path-info 2026年04月28日 22:30:34 +02:00
benchmark makefile: ban whichcraft 2026年02月11日 12:13:49 +01:00
cubical @fe3394eba7 Update std-lib and cubical submodules 2026年04月18日 17:16:36 +02:00
doc Remove uses of/references to musical coinduction from the user manual 2026年04月27日 14:11:44 +02:00
mk chore: remove more references to stack 2026年04月26日 00:18:59 -04:00
notes chore: delete some more junk files 2026年04月24日 21:22:33 -03:00
src fix: pull mikan-bisect back out into cabal file 2026年04月29日 00:09:45 +02:00
test fix: re-fix agda#6787 2026年04月27日 15:09:56 +02:00
.editorconfig Add an EditorConfig file 2026年02月25日 15:06:39 +01:00
.gitignore chore: remove examples/ 2026年04月28日 20:45:36 +02:00
.gitmodules chore: remove stdlib 2026年04月21日 22:46:37 -03:00
.hlint.yaml Follow hlint suggestion: redundant case 2024年08月16日 18:06:43 +02:00
.mailmap Update .mailmap 2025年04月07日 13:58:03 +02:00
cabal.project fix: pull mikan-bisect back out into cabal file 2026年04月29日 00:09:45 +02:00
cabal.project.ghc-9.14.1 [workflows] add Cabal GHC 9.14, reactivate cubical [wasm] 2026年02月04日 20:40:53 +01:00
cabal.project.tc chore: start rebranding 2026年04月20日 08:43:29 -03:00
CHANGELOG.md Bump CI to GHC 9.14.1 2026年04月18日 17:16:36 +02:00
CODE_OF_CONDUCT.md chore: start rebranding 2026年04月20日 08:43:29 -03:00
CONTRIBUTING.md chore: slice off rest of CONTRIBUTING.md 2026年04月24日 21:22:35 -03:00
fix-whitespace.yaml Add *.agda-lib to fix-whitespace.yaml 2025年06月30日 17:10:37 +02:00
flake.lock nix: bump nixpkgs 2026年01月09日 14:12:29 +01:00
flake.nix fix: pull mikan-bisect back out into cabal file 2026年04月29日 00:09:45 +02:00
HACKING.md doc: update HACKING to reflect mikan-bisect changes 2026年04月29日 00:09:45 +02:00
LICENSE chore: start rebranding 2026年04月20日 08:43:29 -03:00
Makefile chore: remove examples/ 2026年04月28日 20:45:36 +02:00
Mikan.cabal fix: pull mikan-bisect back out into cabal file 2026年04月29日 00:09:45 +02:00
README.md chore: start rebranding 2026年04月20日 08:43:29 -03:00

Mikan logo & header

Mikan (Citrus unshiu) is a proof assistant for De Morgan cubical type theory, forked from Agda just before the release of version 2.9.0, and maintained by the 1Lab development team.