Update 2018-11-10-popl19.md

_posts/2018-11-10-popl19.md

 ---
-Title: Papers accepted at POPL 2019
+title: Papers accepted at POPL 2019
 ---
 
 Congratulations to José Fragoso Santos, Philippa Gardner, Petar Maksimović, 
@@ -17,5 +17,4 @@ Martin and Philippa's paper, written in collaboration with
 from [Inria]( https://www.inria.fr/en/centre/rennes), is 'Skeletal Semantics 
 and Their Interpretations' and in it, they introduce a skeletal semantics of 
 a language, where each skeleton describes the complete semantic behaviour of 
-a language construct. 
-
+a language construct.
\ No newline at end of file