Update 2024-07-02-shengyi-HRP with intersection and union types

jiangsy · web-flow · commit ba8fe3393138 · 2024-07-01T13:47:08.000+08:00
diff --git a/_posts/2024-07-02-shengyi-HRP with intersection and union types b/_posts/2024-07-02-shengyi-HRP with intersection and union types
@@ -2,7 +2,7 @@
 layout:  post 
 title:   Higher-rank Polymorphism with Intersection and Union Types
 authors: Shengyi Jiang
-date:    2024-07-02 10:10:00 GMT +9
+date:    2024-07-02 10:10:00 GMT+8
 venue:   CB308
 --- 
 
