update merely

chuigda · Nov 20, 2023 · 0d6fb32 · 0d6fb32
1 parent 3fa707a
commit 0d6fb32
Showing 1 changed file with 4 additions and 2 deletions.
diff --git a/markdown/basic-polymorphic-typechecking.md b/markdown/basic-polymorphic-typechecking.md
@@ -3,16 +3,18 @@
 !!meta-define:author:Luca Cardelli
 !!meta-define:time:1984-01-01T00:00:00+08:00
 !!meta-define:tags:编译器,Java,程序设计语言理论,类型系统
-!!meta-define:brief:Chuigda 对 1984 年 Luca Cardelli 论文 [Basic polymorphic typechecking](http://lucacardelli.name/Papers/BasicTypechecking%20(TR%201984).pdf) 的翻译。
+!!meta-define:brief:Chuigda 对 1984 年 Luca Cardelli 论文 Basic polymorphic typechecking 的翻译，并且使用 Java 重写了论文中的例子。
 
 ## 0. 前言
 
-本文是对 1984 年 Luca Cardelli 论文 [Basic polymorphic typechecking](http://lucacardelli.name/Papers/BasicTypechecking%20(TR%201984).pdf) 的翻译，并且使用 Java 重写了论文中的例子，避免 ML 的语法对读者造成困扰。
+本文是对 1984 年 Luca Cardelli 论文 [Basic polymorphic typechecking](http://lucacardelli.name/Papers/BasicTypechecking%20(TR%201984).pdf) 的翻译，并且使用 Java 重写了论文中的例子，避免 ML 的语法对读者造成困扰，以及找不到好的 ML 实现对读者造成困扰。
 
 记仇时刻：
 
 <div class="img-container">
 <img src="/extra/blog-images/chuigda-doesnt-learn-jvav.jpg" alt="Chuigda 不学 Jvav" width="540" height="169"/>
 </div>
 
+## 1. 介绍
+
 > 施工中，请等待施工完成