moving extra files

2018-05-26 16:24:37 -03:00 · 2018-05-26 16:24:37 -03:00 · ce81c403bd
commit ce81c403bd
parent 39d8d75f71
87 changed files with 0 additions and 0 deletions
--- a/extra/answers/ListsAns.lagda
+++ b/extra/answers/ListsAns.lagda
--- a/extra/answers/NegationAns.lagda
+++ b/extra/answers/NegationAns.lagda
--- a/extra/answers/PropertiesAns.lagda
+++ b/extra/answers/PropertiesAns.lagda
--- a/extra/answers/RelationsAns.lagda
+++ b/extra/answers/RelationsAns.lagda
--- a/extra/extra/Addition.agda
+++ b/extra/extra/Addition.agda
--- a/extra/extra/Basics-old.lagda
+++ b/extra/extra/Basics-old.lagda
--- a/extra/extra/Basics.lagda
+++ b/extra/extra/Basics.lagda
--- a/extra/extra/CPP.lagda
+++ b/extra/extra/CPP.lagda
--- a/extra/extra/Collections-backup.lagda
+++ b/extra/extra/Collections-backup.lagda
--- a/extra/extra/Collections-setoid.lagda
+++ b/extra/extra/Collections-setoid.lagda
--- a/extra/extra/Darais.agda
+++ b/extra/extra/Darais.agda
--- a/extra/extra/DaraisPhoas.agda
+++ b/extra/extra/DaraisPhoas.agda
--- a/extra/extra/DeBruijn-agda-list-2.lagda
+++ b/extra/extra/DeBruijn-agda-list-2.lagda
--- a/extra/extra/DeBruijn-agda-list-3.lagda
+++ b/extra/extra/DeBruijn-agda-list-3.lagda
--- a/extra/extra/DeBruijn-agda-list-4.lagda
+++ b/extra/extra/DeBruijn-agda-list-4.lagda
--- a/extra/extra/DeBruijn-agda-list.lagda
+++ b/extra/extra/DeBruijn-agda-list.lagda
--- a/extra/extra/DeBruijn2.lagda
+++ b/extra/extra/DeBruijn2.lagda
--- a/extra/extra/DecidableBroken.agda
+++ b/extra/extra/DecidableBroken.agda
--- a/extra/extra/DecidableFixed.agda
+++ b/extra/extra/DecidableFixed.agda
--- a/extra/extra/Denotational.lagda
+++ b/extra/extra/Denotational.lagda
--- a/extra/extra/Dummy.agda
+++ b/extra/extra/Dummy.agda
--- a/extra/extra/Equivalence-old.lagda
+++ b/extra/extra/Equivalence-old.lagda
--- a/extra/extra/Eta.agda
+++ b/extra/extra/Eta.agda
--- a/extra/extra/Even.agda
+++ b/extra/extra/Even.agda
--- a/extra/extra/EvenOdd.agda
+++ b/extra/extra/EvenOdd.agda
--- a/extra/extra/EvenOdd2.agda
+++ b/extra/extra/EvenOdd2.agda
--- a/extra/extra/EvenOdd3.agda
+++ b/extra/extra/EvenOdd3.agda
--- a/extra/extra/Everything.agda
+++ b/extra/extra/Everything.agda
--- a/extra/extra/Extra.lagda
+++ b/extra/extra/Extra.lagda
--- a/extra/extra/FreshId-backup.lagda
+++ b/extra/extra/FreshId-backup.lagda
--- a/extra/extra/FreshIdConor.lagda
+++ b/extra/extra/FreshIdConor.lagda
--- a/extra/extra/FreshUnstuck-backup.lagda
+++ b/extra/extra/FreshUnstuck-backup.lagda
--- a/extra/extra/Gentzen.lagda
+++ b/extra/extra/Gentzen.lagda
--- a/extra/extra/Head.agda
+++ b/extra/extra/Head.agda
--- a/extra/extra/IdMap.lagda
+++ b/extra/extra/IdMap.lagda
--- a/extra/extra/Isomorphisms.agda
+++ b/extra/extra/Isomorphisms.agda
--- a/extra/extra/Liftable.agda
+++ b/extra/extra/Liftable.agda
--- a/extra/extra/Lists-backup.lagda
+++ b/extra/extra/Lists-backup.lagda
--- a/extra/extra/Logic.lagda
+++ b/extra/extra/Logic.lagda
--- a/extra/extra/Membership.agda
+++ b/extra/extra/Membership.agda
--- a/extra/extra/Mendler.agda
+++ b/extra/extra/Mendler.agda
--- a/extra/extra/Module.agda
+++ b/extra/extra/Module.agda
--- a/extra/extra/ModuleInfix.agda
+++ b/extra/extra/ModuleInfix.agda
--- a/extra/extra/Monus.agda
+++ b/extra/extra/Monus.agda
--- a/extra/extra/Mutual.agda
+++ b/extra/extra/Mutual.agda
--- a/extra/extra/Mutual2.agda
+++ b/extra/extra/Mutual2.agda
--- a/extra/extra/Nat.agda
+++ b/extra/extra/Nat.agda
--- a/extra/extra/Negation-notes.lagda
+++ b/extra/extra/Negation-notes.lagda
--- a/extra/extra/PHOAStoEXP.agda
+++ b/extra/extra/PHOAStoEXP.agda
--- a/extra/extra/Preorder.agda
+++ b/extra/extra/Preorder.agda
--- a/extra/extra/Raw-deadend.lagda
+++ b/extra/extra/Raw-deadend.lagda
--- a/extra/extra/Raw-deadend2.lagda
+++ b/extra/extra/Raw-deadend2.lagda
--- a/extra/extra/Reasoning.agda
+++ b/extra/extra/Reasoning.agda
--- a/extra/extra/Reasoning2.agda
+++ b/extra/extra/Reasoning2.agda
--- a/extra/extra/Reduction.lagda
+++ b/extra/extra/Reduction.lagda
--- a/extra/extra/Rev.agda
+++ b/extra/extra/Rev.agda
--- a/extra/extra/RewriteWTF.agda
+++ b/extra/extra/RewriteWTF.agda
--- a/extra/extra/Stable.agda
+++ b/extra/extra/Stable.agda
--- a/extra/extra/Streams.lagda
+++ b/extra/extra/Streams.lagda
--- a/extra/extra/TakeDropBool.agda
+++ b/extra/extra/TakeDropBool.agda
--- a/extra/extra/TakeDropDec.agda
+++ b/extra/extra/TakeDropDec.agda
--- a/extra/extra/TakeDropDecTest.agda
+++ b/extra/extra/TakeDropDecTest.agda
--- a/extra/extra/Typed-backup.lagda
+++ b/extra/extra/Typed-backup.lagda
--- a/extra/extra/Typed-string.lagda
+++ b/extra/extra/Typed-string.lagda
--- a/extra/extra/Typed-wf-deadend.lagda
+++ b/extra/extra/Typed-wf-deadend.lagda
--- a/extra/extra/Typed.lagda
+++ b/extra/extra/Typed.lagda
--- a/extra/extra/TypedDB-backup.lagda
+++ b/extra/extra/TypedDB-backup.lagda
--- a/extra/extra/TypedFresh-away.lagda
+++ b/extra/extra/TypedFresh-away.lagda
--- a/extra/extra/TypedFresh-backup.lagda
+++ b/extra/extra/TypedFresh-backup.lagda
--- a/extra/extra/Ulf.agda
+++ b/extra/extra/Ulf.agda
--- a/extra/extra/Untyped-CBV.lagda
+++ b/extra/extra/Untyped-CBV.lagda
--- a/extra/extra/UntypedDB.lagda
+++ b/extra/extra/UntypedDB.lagda
--- a/extra/extra/outline.lagda
+++ b/extra/extra/outline.lagda
--- a/extra/fresh/Collections.lagda
+++ b/extra/fresh/Collections.lagda
--- a/extra/fresh/Fresh.lagda
+++ b/extra/fresh/Fresh.lagda
--- a/extra/fresh/FreshId.lagda
+++ b/extra/fresh/FreshId.lagda
--- a/extra/fresh/FreshUnstuck.lagda
+++ b/extra/fresh/FreshUnstuck.lagda
--- a/extra/fresh/RawScopedTyped.lagda
+++ b/extra/fresh/RawScopedTyped.lagda
--- a/extra/fresh/Scoped.lagda
+++ b/extra/fresh/Scoped.lagda
--- a/extra/fresh/TypedBadfix.lagda
+++ b/extra/fresh/TypedBadfix.lagda
--- a/extra/fresh/TypedBarendregt.lagda
+++ b/extra/fresh/TypedBarendregt.lagda
--- a/extra/fresh/TypedFresh.lagda
+++ b/extra/fresh/TypedFresh.lagda
--- a/extra/stlc/Maps.lagda
+++ b/extra/stlc/Maps.lagda
--- a/extra/stlc/StlcNew.lagda
+++ b/extra/stlc/StlcNew.lagda
--- a/extra/stlc/StlcOld.lagda
+++ b/extra/stlc/StlcOld.lagda
--- a/extra/stlc/StlcPropNew.lagda
+++ b/extra/stlc/StlcPropNew.lagda
--- a/extra/stlc/StlcPropOld.lagda
+++ b/extra/stlc/StlcPropOld.lagda