put the port in the port directory

dunhamsteve · Jan 5, 2025 · 9172d88 · 9172d88
1 parent 9262fa8
commit 9172d88
Show file tree

Hide file tree

Showing 32 changed files with 0 additions and 0 deletions.
diff --git a/done/Data/Fin.newt → port/Data/Fin.newt b/done/Data/Fin.newt → port/Data/Fin.newt
diff --git a/done/Data/IORef.newt → port/Data/IORef.newt b/done/Data/IORef.newt → port/Data/IORef.newt
diff --git a/done/Data/Int.newt → port/Data/Int.newt b/done/Data/Int.newt → port/Data/Int.newt
diff --git a/done/Data/List.newt → port/Data/List.newt b/done/Data/List.newt → port/Data/List.newt
diff --git a/done/Data/List1.newt → port/Data/List1.newt b/done/Data/List1.newt → port/Data/List1.newt
diff --git a/done/Data/Maybe.newt → port/Data/Maybe.newt b/done/Data/Maybe.newt → port/Data/Maybe.newt
diff --git a/done/Data/Nat.newt → port/Data/Nat.newt b/done/Data/Nat.newt → port/Data/Nat.newt
diff --git a/done/Data/SnocList.newt → port/Data/SnocList.newt b/done/Data/SnocList.newt → port/Data/SnocList.newt
diff --git a/done/Data/SortedMap.newt → port/Data/SortedMap.newt b/done/Data/SortedMap.newt → port/Data/SortedMap.newt
diff --git a/done/Data/String.newt → port/Data/String.newt b/done/Data/String.newt → port/Data/String.newt
diff --git a/done/Data/Vect.newt → port/Data/Vect.newt b/done/Data/Vect.newt → port/Data/Vect.newt
diff --git a/done/Hello.newt → port/Hello.newt b/done/Hello.newt → port/Hello.newt
diff --git a/done/Lib/Common.newt → port/Lib/Common.newt b/done/Lib/Common.newt → port/Lib/Common.newt
diff --git a/done/Lib/Compile.newt → port/Lib/Compile.newt b/done/Lib/Compile.newt → port/Lib/Compile.newt
diff --git a/done/Lib/CompileExp.newt → port/Lib/CompileExp.newt b/done/Lib/CompileExp.newt → port/Lib/CompileExp.newt
diff --git a/done/Lib/Elab.newt → port/Lib/Elab.newt b/done/Lib/Elab.newt → port/Lib/Elab.newt
diff --git a/done/Lib/Erasure.newt → port/Lib/Erasure.newt b/done/Lib/Erasure.newt → port/Lib/Erasure.newt
diff --git a/done/Lib/Eval.newt → port/Lib/Eval.newt b/done/Lib/Eval.newt → port/Lib/Eval.newt
diff --git a/done/Lib/Parser.newt → port/Lib/Parser.newt b/done/Lib/Parser.newt → port/Lib/Parser.newt
diff --git a/done/Lib/Parser/Impl.newt → port/Lib/Parser/Impl.newt b/done/Lib/Parser/Impl.newt → port/Lib/Parser/Impl.newt
diff --git a/done/Lib/Prettier.newt → port/Lib/Prettier.newt b/done/Lib/Prettier.newt → port/Lib/Prettier.newt
diff --git a/done/Lib/ProcessDecl.newt → port/Lib/ProcessDecl.newt b/done/Lib/ProcessDecl.newt → port/Lib/ProcessDecl.newt
diff --git a/done/Lib/Syntax.newt → port/Lib/Syntax.newt b/done/Lib/Syntax.newt → port/Lib/Syntax.newt
diff --git a/done/Lib/Token.newt → port/Lib/Token.newt b/done/Lib/Token.newt → port/Lib/Token.newt
diff --git a/done/Lib/Tokenizer.newt → port/Lib/Tokenizer.newt b/done/Lib/Tokenizer.newt → port/Lib/Tokenizer.newt
diff --git a/done/Lib/TopContext.newt → port/Lib/TopContext.newt b/done/Lib/TopContext.newt → port/Lib/TopContext.newt
diff --git a/done/Lib/Types.newt → port/Lib/Types.newt b/done/Lib/Types.newt → port/Lib/Types.newt
diff --git a/done/Lib/Util.newt → port/Lib/Util.newt b/done/Lib/Util.newt → port/Lib/Util.newt
diff --git a/done/Main.newt → port/Main.newt b/done/Main.newt → port/Main.newt
diff --git a/done/Node.newt → port/Node.newt b/done/Node.newt → port/Node.newt
diff --git a/done/Prelude.newt → port/Prelude.newt b/done/Prelude.newt → port/Prelude.newt
diff --git a/done/Test/Parser.newt → port/Test/Parser.newt b/done/Test/Parser.newt → port/Test/Parser.newt