aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorJack Sangdahl <[email protected]>2024-12-12 21:05:54 -0700
committerJack Sangdahl <[email protected]>2024-12-12 21:05:54 -0700
commitd2251d4c4c482121c790c6c5af0557d77983936c (patch)
treeeec229501c48219cc09fd3e32bde1e57921b427e
parent8bb81e391405554d02ec36574db2ca58300c89c4 (diff)
downloadcsci3155-d2251d4c4c482121c790c6c5af0557d77983936c.tar.gz
csci3155-d2251d4c4c482121c790c6c5af0557d77983936c.zip
Chore: scalafmt configuration, readme, & gitignoreHEADmaster
Signed-off-by: Jack Sangdahl <[email protected]>
-rw-r--r--.gitignore12
-rw-r--r--.scalafmt.conf2
-rw-r--r--readme.md15
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