diff --git a/PROGRESS.md b/PROGRESS.md
new file mode 100644
index 0000000..2e1276b
--- /dev/null
+++ b/PROGRESS.md
@@ -0,0 +1,53 @@
+# SE 3250 Progress Checkpoints
+
+## Checkpoint 1
+*07 Nov 2025*
+
+**intended user**:  
+Programmers
+
+**detailed functional requirements**:  
+A stack based language interpreter inspired by RPL, C, Rust, and Uiua
+([sls.purplecello.org](https://sls.purplecello.org))
+
+**motivation for wanting to work on the project**:  
+It is cool, and I have had this idea for a while and learning new languages this
+semester has given me more ideas and motivation for this.
+
+**motivation for language selection**:  
+C is a lower level language that can run on embedded systems and is well suited
+for writing language interpreters like Python and Lua.
+
+**non-functional requirements / constraints**:  
+Efficient enough for use on a modern micro controller
+(ie. Raspberry Pi Pico, ESP32)
+
+## Checkpoint 2
+*20 Nov 2025*
+
+[github.com/SnowSE/final-project-KylerOlsen](https://github.com/SnowSE/final-project-KylerOlsen)
+
+[Compare SE3250-Checkpoint1..SE3250-Checkpoint2](https://github.com/SnowSE/final-project-KylerOlsen/compare/SE3250-Checkpoint1...SE3250-Checkpoint2)
+
+**Report**:
+
+I completed my string type for the interpreter. `floats`, `characters`,
+`identifiers`, and `boolean` token lexing has been completed. `integer` tokens
+were working at checkpoint 1.
+
+**Plan**:
+
+By checkpoint 3 I plan to complete `token string` token parsing and basic
+arithmetic execution.
+
+**Stuck**:
+
+I'm not really stuck on anything, but I have been dropping things from the scope
+of this assignment. I do hope to add them when I have time in the future. These
+features moved to the backlog include:
+
+- Unicode support
+- Exponential literals
+- Arrays and array functions
+- Type tuples, function defs
+- Structs, unions, etc.
diff --git a/SLS_C/Implementation Mismatches.md b/SLS_C/Implementation Mismatches.md
index d00c08b..5db019c 100644
--- a/SLS_C/Implementation Mismatches.md	
+++ b/SLS_C/Implementation Mismatches.md	
@@ -4,4 +4,6 @@ This is a list of things defined as currently in the specification, but not incl
 
 - Unicode support
 - Exponential literals
-- Arrays
+- Arrays and array functions
+- Type tuples, function defs
+- Structs, unions, etc.