From f195408df4a7017801a57b11e62c6ee491aa93e8 Mon Sep 17 00:00:00 2001
From: wadler <wadler@inf.ed.ac.uk>
Date: Sun, 28 Jan 2018 15:35:14 -0200
Subject: [PATCH] test --- does change push?

---
 src/Logic.lagda | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/src/Logic.lagda b/src/Logic.lagda
index 90c150c1..bb45cc0d 100644
--- a/src/Logic.lagda
+++ b/src/Logic.lagda
@@ -4,6 +4,8 @@ layout    : page
 permalink : /Logic
 ---
 
+Hello! Did this change propogate?
+
 This chapter introduces the basic concepts of logic, by observing
 that each concept of logic is represented by a corresponding
 data type.