michael/csci8980-f21
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

moving broken file Typed

Browse source
This commit is contained in:
wadler 2018-05-26 16:22:30 -03:00
parent e77f3d9d17
commit 39d8d75f71
2 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

0
src/Typed.lagda.broken → src/extra/Typed.lagda
View file

2
src/fresh/Collections.lagda
View file

@ -39,7 +39,7 @@ open import Relation.Nullary.Product using (_×-dec_)
## Collections ## Collections
\begin{code} \begin{code}
module Collections (A : Set) (_≟_ : ∀ (x y : A) → Dec (x ≡ y)) where module fresh.Collections (A : Set) (_≟_ : ∀ (x y : A) → Dec (x ≡ y)) where
Coll : Set → Set Coll : Set → Set
Coll A = List A Coll A = List A