Web-Projects
/
blog-static
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

Update tags

This commit is contained in:
Danila Fedorin 2021-11-21 16:20:18 -08:00
parent e7185ff460
commit 71689fce79
8 changed files with 8 additions and 8 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
content/blog/00_cs325_languages_hw1.md
View File

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

2
content/blog/01_cs325_languages_hw2.md
View File

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

2
content/blog/02_cs325_languages_hw3.md
View File

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

2
content/blog/coq_dawn.md
View File

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

2
content/blog/typesafe_imperative_lang.md
View File

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

2
content/blog/typesafe_interpreter.md
View File

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

2
content/blog/typesafe_interpreter_revisited.md
View File

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

2
content/blog/typesafe_interpreter_tuples.md
View File

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