From 45a4be4fa6b05edbc45b42425ad5e1c99d6e382e Mon Sep 17 00:00:00 2001
From: wadler <wadler@inf.ed.ac.uk>
Date: Tue, 27 Feb 2018 14:54:22 +0100
Subject: [PATCH] small fix to Typed

---
 src/Scoped.lagda | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/Scoped.lagda b/src/Scoped.lagda
index 8395ffdc..5b02eaa9 100644
--- a/src/Scoped.lagda
+++ b/src/Scoped.lagda
@@ -7,7 +7,7 @@ permalink : /Scoped
 ## Imports
 
 \begin{code}
-module Typed where
+module Scoped where
 \end{code}
 
 \begin{code}