Cleanup (delete previous-approaches/hml)

hkust-taco · May 22, 2024 · be9ece0 · be9ece0
1 parent a299fea
commit be9ece0
Show file tree

Hide file tree

Showing 21 changed files with 0 additions and 2,804 deletions.
diff --git a/previous-approaches/hml/.gitignore b/previous-approaches/hml/.gitignore
diff --git a/previous-approaches/hml/CHANGELOG.md b/previous-approaches/hml/CHANGELOG.md
diff --git a/previous-approaches/hml/LICENSE b/previous-approaches/hml/LICENSE
diff --git a/previous-approaches/hml/README.md b/previous-approaches/hml/README.md
diff --git a/previous-approaches/hml/Setup.hs b/previous-approaches/hml/Setup.hs
diff --git a/previous-approaches/hml/app/Gamma.hs b/previous-approaches/hml/app/Gamma.hs
diff --git a/previous-approaches/hml/app/InferBasic.hs b/previous-approaches/hml/app/InferBasic.hs