diff --git a/content/blog/00_aoc_coq.md b/content/blog/00_aoc_coq.md index 2bba71d..443deb8 100644 --- a/content/blog/00_aoc_coq.md +++ b/content/blog/00_aoc_coq.md @@ -2,6 +2,7 @@ title: "Advent of Code in Coq - Day 1" date: 2020-12-02T18:44:56-08:00 tags: ["Advent of Code", "Coq"] +favorite: true --- The first puzzle of this year's [Advent of Code](https://adventofcode.com) was quite diff --git a/content/blog/10_compiler_polymorphism.md b/content/blog/10_compiler_polymorphism.md index a1d6192..8fbfcbf 100644 --- a/content/blog/10_compiler_polymorphism.md +++ b/content/blog/10_compiler_polymorphism.md @@ -3,6 +3,7 @@ title: Compiling a Functional Language Using C++, Part 10 - Polymorphism date: 2020-03-25T17:14:20-07:00 tags: ["C and C++", "Functional Languages", "Compilers"] description: "In this post, we extend our compiler's typechecking algorithm to implement the Hindley-Milner type system, allowing for polymorphic functions." +favorite: true --- [In part 8]({{< relref "08_compiler_llvm.md" >}}), we wrote some pretty interesting programs in our little language. diff --git a/content/blog/boolean_values.md b/content/blog/boolean_values.md index 6a48219..aaad9ef 100644 --- a/content/blog/boolean_values.md +++ b/content/blog/boolean_values.md @@ -2,6 +2,7 @@ title: "How Many Values Does a Boolean Have?" date: 2020-08-21T23:05:55-07:00 tags: ["Java", "Haskell", "C and C++"] +favorite: true --- A friend of mine recently had an interview for a software diff --git a/content/blog/haskell_lazy_evaluation/lazy-fix.zip b/content/blog/haskell_lazy_evaluation/lazy-fix.zip new file mode 100644 index 0000000..ef13f04 Binary files /dev/null and b/content/blog/haskell_lazy_evaluation/lazy-fix.zip differ diff --git a/content/blog/haskell_lazy_evaluation/lazy.zip b/content/blog/haskell_lazy_evaluation/lazy.zip new file mode 100644 index 0000000..25dc263 Binary files /dev/null and b/content/blog/haskell_lazy_evaluation/lazy.zip differ diff --git a/content/blog/typesafe_interpreter_revisited.md b/content/blog/typesafe_interpreter_revisited.md index d5b1c5b..e965e74 100644 --- a/content/blog/typesafe_interpreter_revisited.md +++ b/content/blog/typesafe_interpreter_revisited.md @@ -2,6 +2,7 @@ title: Meaningfully Typechecking a Language in Idris, Revisited date: 2020-07-22T14:37:35-07:00 tags: ["Idris"] +favorite: true --- Some time ago, I wrote a post titled [Meaningfully Typechecking a Language in Idris]({{< relref "typesafe_interpreter.md" >}}). The gist of the post was as follows: