aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-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