From 9172d88be76a623ef1f42e9a9fc260ade406b18a Mon Sep 17 00:00:00 2001 From: Steve Dunham Date: Sun, 5 Jan 2025 11:15:29 -0800 Subject: [PATCH] put the port in the port directory --- {done => port}/Data/Fin.newt | 0 {done => port}/Data/IORef.newt | 0 {done => port}/Data/Int.newt | 0 {done => port}/Data/List.newt | 0 {done => port}/Data/List1.newt | 0 {done => port}/Data/Maybe.newt | 0 {done => port}/Data/Nat.newt | 0 {done => port}/Data/SnocList.newt | 0 {done => port}/Data/SortedMap.newt | 0 {done => port}/Data/String.newt | 0 {done => port}/Data/Vect.newt | 0 {done => port}/Hello.newt | 0 {done => port}/Lib/Common.newt | 0 {done => port}/Lib/Compile.newt | 0 {done => port}/Lib/CompileExp.newt | 0 {done => port}/Lib/Elab.newt | 0 {done => port}/Lib/Erasure.newt | 0 {done => port}/Lib/Eval.newt | 0 {done => port}/Lib/Parser.newt | 0 {done => port}/Lib/Parser/Impl.newt | 0 {done => port}/Lib/Prettier.newt | 0 {done => port}/Lib/ProcessDecl.newt | 0 {done => port}/Lib/Syntax.newt | 0 {done => port}/Lib/Token.newt | 0 {done => port}/Lib/Tokenizer.newt | 0 {done => port}/Lib/TopContext.newt | 0 {done => port}/Lib/Types.newt | 0 {done => port}/Lib/Util.newt | 0 {done => port}/Main.newt | 0 {done => port}/Node.newt | 0 {done => port}/Prelude.newt | 0 {done => port}/Test/Parser.newt | 0 32 files changed, 0 insertions(+), 0 deletions(-) rename {done => port}/Data/Fin.newt (100%) rename {done => port}/Data/IORef.newt (100%) rename {done => port}/Data/Int.newt (100%) rename {done => port}/Data/List.newt (100%) rename {done => port}/Data/List1.newt (100%) rename {done => port}/Data/Maybe.newt (100%) rename {done => port}/Data/Nat.newt (100%) rename {done => port}/Data/SnocList.newt (100%) rename {done => port}/Data/SortedMap.newt (100%) rename {done => port}/Data/String.newt (100%) rename {done => port}/Data/Vect.newt (100%) rename {done => port}/Hello.newt (100%) rename {done => port}/Lib/Common.newt (100%) rename {done => port}/Lib/Compile.newt (100%) rename {done => port}/Lib/CompileExp.newt (100%) rename {done => port}/Lib/Elab.newt (100%) rename {done => port}/Lib/Erasure.newt (100%) rename {done => port}/Lib/Eval.newt (100%) rename {done => port}/Lib/Parser.newt (100%) rename {done => port}/Lib/Parser/Impl.newt (100%) rename {done => port}/Lib/Prettier.newt (100%) rename {done => port}/Lib/ProcessDecl.newt (100%) rename {done => port}/Lib/Syntax.newt (100%) rename {done => port}/Lib/Token.newt (100%) rename {done => port}/Lib/Tokenizer.newt (100%) rename {done => port}/Lib/TopContext.newt (100%) rename {done => port}/Lib/Types.newt (100%) rename {done => port}/Lib/Util.newt (100%) rename {done => port}/Main.newt (100%) rename {done => port}/Node.newt (100%) rename {done => port}/Prelude.newt (100%) rename {done => port}/Test/Parser.newt (100%) 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