From afbd8e8735cf7cfd82cb978ffb186ce2a3a103d7 Mon Sep 17 00:00:00 2001
From: Jeremy Siek <jsiek@129-79-241-203.dhcp-bl.indiana.edu>
Date: Mon, 13 May 2019 16:31:52 -0400
Subject: [PATCH] really moving confluence

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

diff --git a/extra/extra/Confluence.lagda b/src/plfa/Confluence.lagda
similarity index 100%
rename from extra/extra/Confluence.lagda
rename to src/plfa/Confluence.lagda