From 5f8d0a240b8196e909f0972e5702739cfc089352 Mon Sep 17 00:00:00 2001
From: Wen Kokke <wen.kokke@gmail.com>
Date: Sat, 26 May 2018 17:38:34 +0100
Subject: [PATCH] Moved Typed.lagda to Typed.lagda.broken

---
 src/{Typed.lagda => Typed.lagda.broken} | 0
 1 file changed, 0 insertions(+), 0 deletions(-)
 rename src/{Typed.lagda => Typed.lagda.broken} (100%)

diff --git a/src/Typed.lagda b/src/Typed.lagda.broken
similarity index 100%
rename from src/Typed.lagda
rename to src/Typed.lagda.broken