Fixed typo.
This commit is contained in:
parent
dbbb5ca340
commit
7df845aded
|
@ -1,4 +1,4 @@
|
||||||
# Stateful Protocol Composition and Typing (
|
# Stateful Protocol Composition and Typing
|
||||||
|
|
||||||
This git repository contains a local mirror of
|
This git repository contains a local mirror of
|
||||||
[Stateful Protocol Composition and Typing](https://www.isa-afp.org/entries/Stateful_Protocol_Composition_and_Typing.html)
|
[Stateful Protocol Composition and Typing](https://www.isa-afp.org/entries/Stateful_Protocol_Composition_and_Typing.html)
|
||||||
|
|
Loading…
Reference in New Issue