1
0
Fork
You've already forked mikan
0
forked from 1lab/mikan
No description
  • Haskell 60.3%
  • Agda 27.6%
  • TeX 4.9%
  • HTML 3.7%
  • Emacs Lisp 1.8%
  • Other 1.6%
VojtechStep 671ab2c58b feat!: remove compile-dir option 
The LaTeX and HTML backends have their own options for specifying the
root directory
2026年04月25日 03:03:02 +02:00
.vscode Re #7065 : Remove .vscode/settings.json from version control again 2024年02月13日 08:10:48 +01:00
.woodpecker chore: only build on push events on main 2026年04月21日 22:59:59 -03: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 feat!: remove compile-dir option 2026年04月25日 03:03:02 +02:00
examples feat: Remove --no-guardedness ( #24 ) 2026年04月24日 18:52:46 +02:00
mk use mikan not agda 2026年04月20日 14:53:31 +00:00
notes chore: delete some more junk files 2026年04月24日 21:22:33 -03:00
src feat!: remove compile-dir option 2026年04月25日 03:03:02 +02:00
test chore: fix LaTeX, HTML and interaction tests where possible 2026年04月25日 03:03:02 +02:00
.editorconfig Add an EditorConfig file 2026年02月25日 15:06:39 +01:00
.gitignore Fix nix build, get all tests running, and use nix for our CI ( #11 ) 2026年04月21日 17:39:50 +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 nix build, get all tests running, and use nix for our CI ( #11 ) 2026年04月21日 17:39:50 +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 chore: fix LaTeX, HTML and interaction tests where possible 2026年04月25日 03:03:02 +02:00
HACKING.md docs: remove outdated information about github from HACKING 2026年04月25日 02:03:23 +02:00
LICENSE chore: start rebranding 2026年04月20日 08:43:29 -03:00
Makefile chore: remove github CI from makefile 2026年04月25日 02:03:23 +02:00
Mikan.cabal chore: remove compilation tests 2026年04月25日 03:03:02 +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.