typos in metadata

444b4c94 · Hai Dang · bb5cf3d1 · 444b4c94 · 444b4c94
Commit 444b4c94 authored Mar 02, 2021 by Hai Dang
--- a/descr
+++ b/descr
-A formal model of a Rust core langauge and type system, a logical relation for
+A formal model of a Rust core language and type system, a logical relation for
 the type system, and safety proof for some Rust libraries.
--- a/opam
+++ b/opam
@@ -3,7 +3,7 @@ name: "coq-lambda-rust"

 synopsis: "LambdaRust Coq formalization"
 description: """
-A formal model of a Rust core langauge and type system, a logical relation for
+A formal model of a Rust core language and type system, a logical relation for
 the type system, and safety proof for some Rust libraries.
 """