From 62822529641f824424fce0ad3ebc5ad58ae73846 Mon Sep 17 00:00:00 2001
From: "hemanth.hm" <hemanth.hm@gmail.com>
Date: Tue, 9 Jun 2015 16:17:01 +0530
Subject: [PATCH] TD  equational reasoning.

---
 readme.md | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/readme.md b/readme.md
index 14f9f78..1e49e0d 100644
--- a/readme.md
+++ b/readme.md
@@ -128,6 +128,10 @@ referential transparent.
 
 ---
 
+##  Equational Reasoning
+
+---
+
 ## Lazy evalution
 > aka call-by-need is an evaluation machanism which delays the evaluation of an expression until its value is needed.