content/blog/00_cs325_languages_hw1.md

@@ -1,7 +1,7 @@
 ---
 title: A Language for an Assignment - Homework 1
 date: 2019-12-27T23:27:09-08:00
-tags: ["Haskell", "Python", "Algorithms", "Programming Languages"]
+tags: ["Haskell", "Python", "Algorithms"]
 ---
 
 On a rainy Oregon day, I was walking between classes with a group of friends.

content/blog/01_cs325_languages_hw2.md

@@ -1,7 +1,7 @@
 ---
 title: A Language for an Assignment - Homework 2
 date: 2019-12-30T20:05:10-08:00
-tags: ["Haskell", "Python", "Algorithms", "Programming Languages"]
+tags: ["Haskell", "Python", "Algorithms"]
 ---
 
 After the madness of the

content/blog/02_cs325_languages_hw3.md

@@ -1,7 +1,7 @@
 ---
 title: A Language for an Assignment - Homework 3
 date: 2020-01-02T22:17:43-08:00
-tags: ["Haskell", "Python", "Algorithms", "Programming Languages"]
+tags: ["Haskell", "Python", "Algorithms"]
 ---
 
 It rained in Sunriver on New Year's Eve, and it continued to rain

content/blog/coq_dawn.md

@@ -1,7 +1,7 @@
 ---
 title: "Formalizing Dawn in Coq"
 date: 2021-11-20T19:04:57-08:00
-tags: ["Coq", "Dawn", "Programming Languages"]
+tags: ["Coq", "Dawn"]
 ---
 
 The [_Foundations of Dawn_](https://www.dawn-lang.org/posts/foundations-ucc/) article came up

content/blog/typesafe_imperative_lang.md

@@ -1,7 +1,7 @@
 ---
 title: "A Typesafe Representation of an Imperative Language"
 date: 2020-11-02T01:07:21-08:00
-tags: ["Idris", "Programming Languages"]
+tags: ["Idris"]
 ---
 
 A recent homework assignment for my university's programming languages

content/blog/typesafe_interpreter.md

@@ -1,7 +1,7 @@
 ---
 title: Meaningfully Typechecking a Language in Idris
 date: 2020-02-27T21:58:55-08:00
-tags: ["Haskell", "Idris", "Programming Languages"]
+tags: ["Haskell", "Idris"]
 ---
 
 This term, I'm a TA for Oregon State University's Programming Languages course.

content/blog/typesafe_interpreter_revisited.md

@@ -1,7 +1,7 @@
 ---
 title: Meaningfully Typechecking a Language in Idris, Revisited
 date: 2020-07-22T14:37:35-07:00
-tags: ["Idris", "Programming Languages"]
+tags: ["Idris"]
 favorite: true
 ---
 

content/blog/typesafe_interpreter_tuples.md

@@ -1,7 +1,7 @@
 ---
 title: Meaningfully Typechecking a Language in Idris, With Tuples
 date: 2020-08-12T15:48:04-07:00
-tags: ["Idris", "Programming Languages"]
+tags: ["Idris"]
 ---
 
 Some time ago, I wrote a post titled