Create 2024-02-06-let-next-argument-go-first

yzyzsun · web-flow · commit 6b08c0ba8feb · 2024-02-04T21:53:03.000+08:00
diff --git a/_posts/2024-02-06-let-next-argument-go-first b/_posts/2024-02-06-let-next-argument-go-first
@@ -0,0 +1,9 @@
+--- 
+layout:  post 
+title:   Let Next Argument Go First
+authors: Yaozhu
+date:    2024-02-06 10:15:00 +0800
+venue:   CB328
+--- 
+
+In this problem session, we will discuss a non-trivial way of type information flow in bidirectional type checking.
