From e5fc03bd4eb0499da59de3a6a806f840eab86d47 Mon Sep 17 00:00:00 2001 From: Steve Loughran Date: Mon, 25 Jul 2016 14:18:06 +0100 Subject: [PATCH] Update README.md --- README.md | 3 +++ 1 file changed, 3 insertions(+) diff --git a/README.md b/README.md index 8a53d75..1b5a265 100644 --- a/README.md +++ b/README.md @@ -2,3 +2,6 @@ formality ========= Formal Methods, Maths and papers + +This is a general space for me doing more rigorous stuff, especially in/near Hadoop. When things are ready for incorporation +into the Hadoop codebase, I'll put them in as patches.