move files

chester-lang · Jan 17, 2025 · f236d05 · f236d05
1 parent e7fdd8a
commit f236d05
Show file tree

Hide file tree

Showing 2 changed files with 0 additions and 0 deletions.
diff --git a/...rc/main/scala/chester/tyck/Context2.scala → ...rc/main/scala/chester/tyck/Context2.scala b/...rc/main/scala/chester/tyck/Context2.scala → ...rc/main/scala/chester/tyck/Context2.scala
diff --git a/...scala/chester/tyck/ElaboraterCommon.scala → ...scala/chester/tyck/ElaboraterCommon.scala b/...scala/chester/tyck/ElaboraterCommon.scala → ...scala/chester/tyck/ElaboraterCommon.scala