typo in changelog

Author: Tragicus

Changelog.md

@@ -5,7 +5,7 @@
 ### General
 
 - **Change** For a structure `S` on a subject of type `T`, declares `S.sort` as
-	an Elpi coercion from `S.type` to `T` and `S.pack` as an Epli coercion from
+	an Elpi coercion from `S.type` to `T` and `S.pack` as an Elpi coercion from
 	`T` to `S.type` whenever `T` is not a global type (e.g. a variable). Note
 	that `S.pack` can cast a `t : T` to `S.type` only if an instance of the
 	class `S` on `t` is found by type class inference