Update README.md

Barry-Jay · Barry-Jay · commit bd641e6832ff · 2016-02-17T14:48:48.000+11:00
diff --git a/README.md b/README.md
@@ -1,2 +1,2 @@
 # lambdaSF
-implementation of lambda-SF-calculus plus some basic theorems
+implementation of lambda-SF-calculus plus some basic theorems, such as confluence

Original file line number	Diff line number	Diff line change
`@@ -1,2 +1,2 @@`
`1`	`1`	`# lambdaSF`
`2`		`-implementation of lambda-SF-calculus plus some basic theorems`
	`2`	`+implementation of lambda-SF-calculus plus some basic theorems, such as confluence`