Skip to content

Commit b7c0848

Browse files
committed
Update readme and bump version to 0.1.0
1 parent 9170da9 commit b7c0848

2 files changed

Lines changed: 5 additions & 1 deletion

File tree

Cargo.toml

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,6 +1,6 @@
11
[package]
22
name = "session_types"
3-
version = "0.0.1"
3+
version = "0.1.0"
44
authors = [ "Philip Munksgaard <pmunksgaard@gmail.com>"
55
, "Thomas Bracht Laumann Jespersen <laumann.thomas@gmail.com>"
66
]

README.md

Lines changed: 4 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -6,3 +6,7 @@ session-types
66
This is an implementation of session types in Rust.
77

88
Still in development, use at your own risk.
9+
10+
For an introduction to session types and this library, check out
11+
[Session Types for Rust](http://munksgaard.me/laumann-munksgaard-larsen.pdf) and
12+
the examples directory.

0 commit comments

Comments
 (0)