diff --git a/done/Data/Fin.newt b/port/Data/Fin.newt
similarity index 100%
rename from done/Data/Fin.newt
rename to port/Data/Fin.newt
diff --git a/done/Data/IORef.newt b/port/Data/IORef.newt
similarity index 100%
rename from done/Data/IORef.newt
rename to port/Data/IORef.newt
diff --git a/done/Data/Int.newt b/port/Data/Int.newt
similarity index 100%
rename from done/Data/Int.newt
rename to port/Data/Int.newt
diff --git a/done/Data/List.newt b/port/Data/List.newt
similarity index 100%
rename from done/Data/List.newt
rename to port/Data/List.newt
diff --git a/done/Data/List1.newt b/port/Data/List1.newt
similarity index 100%
rename from done/Data/List1.newt
rename to port/Data/List1.newt
diff --git a/done/Data/Maybe.newt b/port/Data/Maybe.newt
similarity index 100%
rename from done/Data/Maybe.newt
rename to port/Data/Maybe.newt
diff --git a/done/Data/Nat.newt b/port/Data/Nat.newt
similarity index 100%
rename from done/Data/Nat.newt
rename to port/Data/Nat.newt
diff --git a/done/Data/SnocList.newt b/port/Data/SnocList.newt
similarity index 100%
rename from done/Data/SnocList.newt
rename to port/Data/SnocList.newt
diff --git a/done/Data/SortedMap.newt b/port/Data/SortedMap.newt
similarity index 100%
rename from done/Data/SortedMap.newt
rename to port/Data/SortedMap.newt
diff --git a/done/Data/String.newt b/port/Data/String.newt
similarity index 100%
rename from done/Data/String.newt
rename to port/Data/String.newt
diff --git a/done/Data/Vect.newt b/port/Data/Vect.newt
similarity index 100%
rename from done/Data/Vect.newt
rename to port/Data/Vect.newt
diff --git a/done/Hello.newt b/port/Hello.newt
similarity index 100%
rename from done/Hello.newt
rename to port/Hello.newt
diff --git a/done/Lib/Common.newt b/port/Lib/Common.newt
similarity index 100%
rename from done/Lib/Common.newt
rename to port/Lib/Common.newt
diff --git a/done/Lib/Compile.newt b/port/Lib/Compile.newt
similarity index 100%
rename from done/Lib/Compile.newt
rename to port/Lib/Compile.newt
diff --git a/done/Lib/CompileExp.newt b/port/Lib/CompileExp.newt
similarity index 100%
rename from done/Lib/CompileExp.newt
rename to port/Lib/CompileExp.newt
diff --git a/done/Lib/Elab.newt b/port/Lib/Elab.newt
similarity index 100%
rename from done/Lib/Elab.newt
rename to port/Lib/Elab.newt
diff --git a/done/Lib/Erasure.newt b/port/Lib/Erasure.newt
similarity index 100%
rename from done/Lib/Erasure.newt
rename to port/Lib/Erasure.newt
diff --git a/done/Lib/Eval.newt b/port/Lib/Eval.newt
similarity index 100%
rename from done/Lib/Eval.newt
rename to port/Lib/Eval.newt
diff --git a/done/Lib/Parser.newt b/port/Lib/Parser.newt
similarity index 100%
rename from done/Lib/Parser.newt
rename to port/Lib/Parser.newt
diff --git a/done/Lib/Parser/Impl.newt b/port/Lib/Parser/Impl.newt
similarity index 100%
rename from done/Lib/Parser/Impl.newt
rename to port/Lib/Parser/Impl.newt
diff --git a/done/Lib/Prettier.newt b/port/Lib/Prettier.newt
similarity index 100%
rename from done/Lib/Prettier.newt
rename to port/Lib/Prettier.newt
diff --git a/done/Lib/ProcessDecl.newt b/port/Lib/ProcessDecl.newt
similarity index 100%
rename from done/Lib/ProcessDecl.newt
rename to port/Lib/ProcessDecl.newt
diff --git a/done/Lib/Syntax.newt b/port/Lib/Syntax.newt
similarity index 100%
rename from done/Lib/Syntax.newt
rename to port/Lib/Syntax.newt
diff --git a/done/Lib/Token.newt b/port/Lib/Token.newt
similarity index 100%
rename from done/Lib/Token.newt
rename to port/Lib/Token.newt
diff --git a/done/Lib/Tokenizer.newt b/port/Lib/Tokenizer.newt
similarity index 100%
rename from done/Lib/Tokenizer.newt
rename to port/Lib/Tokenizer.newt
diff --git a/done/Lib/TopContext.newt b/port/Lib/TopContext.newt
similarity index 100%
rename from done/Lib/TopContext.newt
rename to port/Lib/TopContext.newt
diff --git a/done/Lib/Types.newt b/port/Lib/Types.newt
similarity index 100%
rename from done/Lib/Types.newt
rename to port/Lib/Types.newt
diff --git a/done/Lib/Util.newt b/port/Lib/Util.newt
similarity index 100%
rename from done/Lib/Util.newt
rename to port/Lib/Util.newt
diff --git a/done/Main.newt b/port/Main.newt
similarity index 100%
rename from done/Main.newt
rename to port/Main.newt
diff --git a/done/Node.newt b/port/Node.newt
similarity index 100%
rename from done/Node.newt
rename to port/Node.newt
diff --git a/done/Prelude.newt b/port/Prelude.newt
similarity index 100%
rename from done/Prelude.newt
rename to port/Prelude.newt
diff --git a/done/Test/Parser.newt b/port/Test/Parser.newt
similarity index 100%
rename from done/Test/Parser.newt
rename to port/Test/Parser.newt