diff options
author | Jack Sangdahl <[email protected]> | 2024-12-12 21:05:54 -0700 |
---|---|---|
committer | Jack Sangdahl <[email protected]> | 2024-12-12 21:05:54 -0700 |
commit | d2251d4c4c482121c790c6c5af0557d77983936c (patch) | |
tree | eec229501c48219cc09fd3e32bde1e57921b427e | |
parent | 8bb81e391405554d02ec36574db2ca58300c89c4 (diff) | |
download | csci3155-d2251d4c4c482121c790c6c5af0557d77983936c.tar.gz csci3155-d2251d4c4c482121c790c6c5af0557d77983936c.zip |
Signed-off-by: Jack Sangdahl <[email protected]>
-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 |