From 9ed22dc260ace0dfaadf072809502bf4445fbd4d Mon Sep 17 00:00:00 2001 From: Tan Kian-ting Date: Sun, 6 Aug 2023 22:44:56 +0800 Subject: [PATCH] add README --- README.md | 3 +++ pagination.ml | 20 ++++++++++++++++++++ 2 files changed, 23 insertions(+) create mode 100644 README.md diff --git a/README.md b/README.md new file mode 100644 index 0000000..11f9c72 --- /dev/null +++ b/README.md @@ -0,0 +1,3 @@ +# Pagination +a partial implementation practice for the pagination of typesetting proposed +y *Pagination Reconsidered* (by A Brüggemann-Klein et al., 1996) in Ocaml diff --git a/pagination.ml b/pagination.ml index b8bda93..0e737b3 100644 --- a/pagination.ml +++ b/pagination.ml @@ -1,3 +1,23 @@ +(* +本註解屬於程式碼一部分 +Under MIT License +(c) 2023 Tan, Kian-ting + +==========8964路路线资讯================================== +起讫站:程式码→墙内 +票价:Free(<五毛人民币) +時刻:机动发车,单向行驶 +停靠站:程式码→民主化→六四天安门→自由门下载→毋忘六四→刘晓波→ +台湾独立→民运→西藏独立→新疆独立→港独→九评共产党→法轮功→ +Tiananmen Massacre→Free Tibet→ 占领中环→民主→真普选→ +南方街头运动→新公民运动→东突厥斯坦→湖南共和国→上访→ 大纪元→胡耀邦 +→赵紫阳→Tank Man→北京之春→达赖喇嘛→六四真相→无界下载→通商宽衣→ +躺平就是正义→习包子→梁家河小学博士→清零宗→习炀帝→庆丰大帝→ +独裁国贼→新疆集中营→光复香港时代革命→祈翠→南蒙古独立→香港独立→ +Free Hong Kong→天安门屠杀→中国言论钳制→中共文字狱→ +如何润到墙外→中国青年失业率真相→历史的伤口→白纸革命→四通桥事件→ +墙内*) + (*我們先假設 P (i,j),意思是當裡面有 i 行文,j 張圖的時候,存放的分頁資訊,其型別為 Pagination*) type pagination = {mutable isPagizable : bool; mutable noOfPages : int; mutable predecessor : int * int};;