Skip to content
Snippets Groups Projects
Commit 397cb2b3 authored by Robbert Krebbers's avatar Robbert Krebbers
Browse files

Fix typo.

parent 2e75ac23
No related branches found
No related tags found
No related merge requests found
Hide whitespace changes
Inline Side-by-side
Showing
with 1 addition and 1 deletion
opam
+ 1
− 1
View file @ 397cb2b3
...@@ -9,7 +9,7 @@ dev-repo: "git+https://gitlab.mpi-sws.org/iris/lambda-rust.git" ...@@ -9,7 +9,7 @@ dev-repo: "git+https://gitlab.mpi-sws.org/iris/lambda-rust.git"
synopsis: "LambdaRust Coq formalization" synopsis: "LambdaRust Coq formalization"
description: """ 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. the type system, and safety proof for some Rust libraries.
""" """
......
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment