Tan, Kian-ting yoxem · he/him
0 followers · 0 following
Repositories
32
 Projects Packages Public activity Starred repositories
yoxem pushed to main at yoxem/uahgi 2025-01-29 01:54:13 +08:00
5b8bf872a2 fix comment
yoxem pushed to main at yoxem/uahgi 2025-01-29 01:31:08 +08:00
0196e08aff add interp basic function (not yet)
yoxem pushed to main at yoxem/uahgi 2025-01-27 23:44:24 +08:00
e917cdb408 add exceptions of hyphen en rule
yoxem pushed to main at yoxem/uahgi 2025-01-27 23:25:19 +08:00
f430a9ba09 fix error
yoxem pushed to main at yoxem/uahgi 2025-01-27 23:24:56 +08:00
c1b4a45d6a add hyphenation algorithm
yoxem pushed to main at yoxem/uahgi 2025-01-27 16:50:20 +08:00
52d4b1b3cb remove mandarin comment
yoxem pushed to main at yoxem/uahgi 2025-01-27 16:43:11 +08:00
739c8b4095 add detect char size from a font
yoxem pushed to main at yoxem/uahgi 2025-01-25 11:18:49 +08:00
67ef38d5bf fix error
yoxem pushed to main at yoxem/uahgi 2025-01-25 02:23:24 +08:00
38a752be5a add basic macro expansion
yoxem pushed to main at yoxem/uahgi 2025-01-21 23:51:47 +08:00
f010267f11 modify readme
yoxem pushed to main at yoxem/uahgi 2025-01-21 23:50:12 +08:00
77fd56f5f2 add gitignore setting
yoxem pushed to main at yoxem/uahgi 2025-01-21 23:49:01 +08:00
550fba6f0b parser
41eeaa459d Files generated by PkgTemplates
dffcb60dc7 Initial commit
Compare 3 commits »
yoxem created repository yoxem/uahgi 2025-01-21 23:43:56 +08:00
yoxem pushed to master at yoxem/notes-of-type-theory-and-forma... 2024-12-26 16:23:09 +08:00
0381d636d2 add ch3-1
yoxem pushed to master at yoxem/notes-of-type-theory-and-forma... 2024-12-26 07:53:41 +08:00
baf64f0570 追加內容of Ch3.2
yoxem created branch master in yoxem/notes-of-type-theory-and-forma... 2024-12-25 00:38:49 +08:00
yoxem pushed to master at yoxem/notes-of-type-theory-and-forma... 2024-12-25 00:38:49 +08:00
cab03d63ec initial
yoxem created repository yoxem/notes-of-type-theory-and-forma... 2024-12-25 00:36:49 +08:00
yoxem pushed to main at yoxem/misc-codes 2024-12-22 23:40:23 +08:00
92fd4d8872 typo
yoxem pushed to main at yoxem/misc-codes 2024-12-22 23:39:38 +08:00
4569b6634f typo