Tan, Kian-ting yoxem · he/him
0 followers · 0 following
Repositories
29
 Projects Packages Public activity Starred repositories
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
yoxem pushed to main at yoxem/misc-codes 2024-12-22 23:38:44 +08:00
5fbd80f6af add desc
yoxem pushed to main at yoxem/misc-codes 2024-12-22 23:22:51 +08:00
bbd5592dbb typo
yoxem pushed to main at yoxem/misc-codes 2024-12-22 23:21:48 +08:00
d8f596902a add desc. for ch6
yoxem pushed to main at yoxem/misc-codes 2024-12-22 23:07:36 +08:00
6a423d7059 刪除不必要的檔案
55805e0c3c add ch6 example
Compare 2 commits »
yoxem created branch main in yoxem/misc-codes 2024-12-16 23:57:13 +08:00
yoxem pushed to main at yoxem/misc-codes 2024-12-16 23:57:13 +08:00
9e4ccb992c delete content
a9f1cd6a67 remove the asm code
fdfeee1d72 add more code
0385a6ee7d ignore the config code
810e79fca6 initially add 3 part of code
yoxem created repository yoxem/misc-codes 2024-12-16 23:52:44 +08:00
yoxem pushed to 音節表 at yoxem/rime-hokkien 2024-12-15 00:26:09 +08:00
e70cf6e238 thâi editor.config - 無必要
yoxem pushed to master at yoxem/pakkau-webapp 2024-12-14 17:41:22 +08:00
ac8cd7ee1f typo