diff options
-rw-r--r-- | .gitignore | 12 | ||||
-rw-r--r-- | .scalafmt.conf | 2 | ||||
-rw-r--r-- | readme.md | 15 |
3 files changed, 29 insertions, 0 deletions
diff --git a/.gitignore b/.gitignore new file mode 100644 index 0000000..988115d --- /dev/null +++ b/.gitignore @@ -0,0 +1,12 @@ +.venv +*.ipynb_checkpoints +*/target/ +*/project/target/* +*/project/project/* +*/.ivy2 +*/.sbt +*/.metals +*/.bloop +*/metals.sbt +*/.bsp +*/.ammonite diff --git a/.scalafmt.conf b/.scalafmt.conf new file mode 100644 index 0000000..fce72bc --- /dev/null +++ b/.scalafmt.conf @@ -0,0 +1,2 @@ +version = 3.8.3 +runner.dialect = scala213 diff --git a/readme.md b/readme.md new file mode 100644 index 0000000..fce1fea --- /dev/null +++ b/readme.md @@ -0,0 +1,15 @@ +## CSCI3155 Principles of Programming Languages (FA24) + +### Homework Assignments +1. Expressions and Data Types +2. Syntax +3. Big-Step Operational Semantics +4. Higher-Order Functions +5. Encapsulating Effects + +### Labs +1. Recursion, Inductive Data Types, and Abstract Syntax +2. Basic Values, Variables, and Judgments +3. Small-Step Operational Semantics +4. Static Type Checking +5. Imperative Computation |