csci3155

commit d2251d4c4c482121c790c6c5af0557d77983936c
parent 8bb81e391405554d02ec36574db2ca58300c89c4
Author: Jack Sangdahl <jack@pngu.org>
Date:   Thu, 12 Dec 2024 21:05:54 -0700

Chore: scalafmt configuration, readme, & gitignore

Signed-off-by: Jack Sangdahl <jack@pngu.org>

Diffstat:
A
.gitignore
 | 
12
++++++++++++
A
.scalafmt.conf
 | 
2
++
A
readme.md
 | 
15
+++++++++++++++

3 files changed, 29 insertions(+), 0 deletions(-)
diff --git a/.gitignore 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
@@ -0,0 +1,2 @@
+version = 3.8.3
+runner.dialect = scala213
diff --git a/readme.md 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