[Made the code build using recent versions of its dependencies.
Nils Anders Danielsson <nils.anders.danielsson@gmail.com>**20161208095608
 Ignore-this: f02c89d1d3981b5b8ee935248331454b
 
 Dependencies: Agda and the standard library.
] {
hunk ./SimplyTyped/Substitution.agda 10
-open import Function
+open import Function hiding (_∋_)
hunk ./SimplyTyped/Substitution.agda 52
-      weaken : ∀ {Γ σ τ} → Γ • τ → Γ ▻ σ • τ
+      weaken : ∀ {Γ σ τ} → Γ • τ → (Γ ▻ σ) • τ
hunk ./SimplyTyped/Substitution.agda 62
-open SubstDef using (SubstKit; SubstKit⁺)
+open SubstDef using (SubstKit; SubstKit⁺) hiding (module SubstKit)
hunk ./SimplyTyped/Substitution.agda 128
-  open SubstDef.SubstKit⁺ _•_ kit⁺
+  open SubstDef.SubstKit⁺ kit⁺
hunk ./SimplyTyped/Value.agda 12
-open import Function
+open import Function hiding (_∋_)
}