Browse files

Small improvement to README

  • Loading branch information...
andrejbauer committed Mar 8, 2012
1 parent f5294e4 commit 998dc40731281d4d95ad2af493914d3db7b167b4
Showing with 3 additions and 4 deletions.
  1. +3 −4 README.markdown
@@ -31,10 +31,9 @@ statically typed language with parametric polymorphism and type inference.
The types are similar to those of OCaml and other variants of ML in the
sense that they do not express any information about computational effects.
-For further information contact Andrej Bauer <> or
-Matija Pretnar <>, and check the [eff
-posts]( on the Mathematics
-and Computation blog.
+For further information visit the [eff page](
+or contact the authors Andrej Bauer <> and Matija
+Pretnar <>,
Obtaining eff

0 comments on commit 998dc40

Please sign in to comment.