• Joined on 2025年08月23日
aathn opened issue 1lab/mikan#146 2026年06月28日 22:26:27 +02:00
Error warning from the Emacs mode when opening and editing an already loaded file
aathn pushed to main at aathn/mikan 2026年06月18日 01:29:21 +02:00
b168a06b76
 perf: remove instantiateFull in killArgs
e0bf5f5b49
 feat: basic highlighting for internal Term
328419ab47
 fix: highlight to, as as Keywords
4d3fc666ce
 feat: better printing for operator grammars
1664e2dc14
 perf: replace literateMd with hand-rolled mangler
Compare 81 commits »
aathn created repository aathn/mikan 2026年04月29日 10:46:33 +02:00
aathn pushed to pages at aathn/aathn-org 2026年04月23日 09:52:15 +02:00
23b0a4fa13 Publish page
1708945a60 Add forester skeleton
Compare 2 commits »
aathn pushed to main at aathn/aathn-org 2026年04月23日 09:50:19 +02:00
1708945a60 Add forester skeleton
aathn pushed to pages at aathn/aathn-org 2026年04月23日 09:39:56 +02:00
f413cddb76 Publish page
0a46da4e28 Add forester skeleton
Compare 2 commits »
aathn pushed to main at aathn/aathn-org 2026年04月23日 09:39:34 +02:00
0a46da4e28 Add forester skeleton
aathn pushed to pages at aathn/aathn-org 2026年04月22日 23:43:21 +02:00
ba7029fafa Publish page
ae0ff355e1 Add forester skeleton
Compare 2 commits »
aathn created branch main in aathn/aathn-org 2026年04月22日 23:28:20 +02:00
aathn pushed to main at aathn/aathn-org 2026年04月22日 23:28:19 +02:00
ae0ff355e1 Add forester skeleton
aathn created branch pages in aathn/aathn-org 2026年04月22日 21:42:37 +02:00
aathn pushed to pages at aathn/aathn-org 2026年04月22日 21:42:36 +02:00
f92433220a Add .domains and test index.html
39d5adb0c3
 Initial commit
aathn created repository aathn/aathn-org 2026年04月22日 21:23:07 +02:00