blog-static

00_types_intro

Bring in more theme updates

2024-09-15 16:28:07 -07:00

01_types_basics

Bring in more theme updates

2024-09-15 16:28:07 -07:00

05_spa_agda_semantics

Start working on the control flow graphs post

2024-11-13 19:57:08 -08:00

06_spa_agda_cfg

Write a new post about proving the connection between semantics and CFGs

2024-11-28 20:33:08 -08:00

07_spa_agda_semantics_and_cfg

Write a new post about proving the connection between semantics and CFGs

2024-11-28 20:33:08 -08:00

08_spa_agda_forward

Fix typos

2024-12-01 22:19:45 -08:00

12_compiler_let_in_lambda

Narrow some of the tags

2024-03-13 15:59:46 -07:00

13_compiler_cleanup

Narrow some of the tags

2024-03-13 15:59:46 -07:00

bergamot

Bring in more theme updates

2024-09-15 16:28:07 -07:00

blog_microfeatures

Make minor edits to article and update theme

2024-06-24 19:59:51 -07:00

codelines

…

coq_dawn_eval

Update 'evaluator for Dawn in Coq' article to new math delimiters

2024-05-13 18:57:15 -07:00

coq_docs

Update "I don't like Coq's docs" article to new math delimiters

2024-05-13 18:58:15 -07:00

dell_is_horrible

…

dyno_alloy

Update "proving my compiler incorrect" to new math delimiters

2024-05-13 18:58:50 -07:00

haskell_lazy_evaluation

…

introducing_highlight

…

modulo_patterns

Update the modulo patterns article to use new delimiters

2024-05-13 19:04:08 -07:00

_index.md

…

00_aoc_coq.md

Add series tags to relevant articles

2023-01-31 18:53:30 -08:00

00_compiler_intro.md

Narrow some of the tags

2024-03-13 15:59:46 -07:00

00_cs325_languages_hw1.md

Add series tags to relevant articles

2023-01-31 18:53:30 -08:00

00_spa_agda_intro.md

Fix slugs and add example of constant propagation

2024-12-01 22:19:08 -08:00

01_aoc_coq.md

Convert AoC Coq article to new math delimiters

2024-05-13 18:16:20 -07:00

01_compiler_tokenizing.md

Switch tokenizing article to new math delimiters

2024-05-13 18:20:04 -07:00

01_cs325_languages_hw2.md

Switch "Homework for an assignment" post 2 to new math delimiters

2024-05-13 18:20:54 -07:00

01_learning_emulation.md

Restore the dates in 'learning emulation' to their proper ones.

2024-05-30 18:58:38 -07:00

01_spa_agda_lattices.md

Add a draft post on forward analysis

2024-12-01 22:16:02 -08:00

02_compiler_parsing.md

Update 'compiler: parsing' article to new string literals

2024-05-13 18:30:27 -07:00

02_cs325_languages_hw3.md

Add series tags to relevant articles

2023-01-31 18:53:30 -08:00

02_learning_emulation.md

Restore the dates in 'learning emulation' to their proper ones.

2024-05-30 18:58:38 -07:00

02_spa_agda_combining_lattices.md

Edit and publish part 2

2024-08-08 16:45:13 -07:00

02_types_variables.md

Update "types: variables" to new math delimiters

2024-05-13 18:31:52 -07:00

03_compiler_typechecking.md

Update "compiler: typechecking" to new math delimiters

2024-05-13 18:33:30 -07:00

03_learning_emulation.md

Restore the dates in 'learning emulation' to their proper ones.

2024-05-30 18:58:38 -07:00

03_spa_agda_fixed_height.md

Write more

2024-11-16 15:25:26 -08:00

04_compiler_improvements.md

Narrow some of the tags

2024-03-13 15:59:46 -07:00

04_spa_agda_fixedpoint.md

Fix meta description on part 4 of SPA

2024-11-03 17:59:37 -08:00

05_compiler_execution.md

Update "compiler: execution" to new math delimiters

2024-05-13 18:38:05 -07:00

06_compiler_compilation.md

Update "compiler: compilation" to use new math delimiters

2024-05-13 18:43:14 -07:00

07_compiler_runtime.md

Narrow some of the tags

2024-03-13 15:59:46 -07:00

08_compiler_llvm.md

Narrow some of the tags

2024-03-13 15:59:46 -07:00

09_compiler_garbage_collection.md

Narrow some of the tags

2024-03-13 15:59:46 -07:00

10_compiler_polymorphism.md

Update "compiler: polymorphism" to new math delimiters

2024-05-13 18:48:34 -07:00

11_compiler_polymorphic_data_types.md

Update "compiler: polymorphic data types" to new math delimiters

2024-05-13 18:50:05 -07:00

agda_expr_pattern.md

Fix absolute link in favor of relref

2024-05-22 23:01:26 -07:00

agda_hugo.md

Update code in blog post to match new line numbers

2024-08-18 13:22:28 -10:00

agda_is_pattern.md

Minor wording updates to the Agda post.

2023-08-31 22:30:36 -07:00

backend_math_rendering.md

Replace absolute links with relrefs

2024-05-22 23:05:11 -07:00

better_explanations.md

…

blog_with_nix.md

…

boolean_values.md

Update boolean values article to new math delimiters

2024-05-13 18:54:11 -07:00

chapel_x_macros.md

Fix dates

2023-10-14 15:58:20 -07:00

coq_dawn.md

Update dawn-in-coq to new math delimiters

2024-05-13 18:55:59 -07:00

coq_palindrome.md

…

crystal_nix_revisited.md

…

crystal_nix.md

…

crystal_on_arm.md

…

haskell_catamorphisms.md

Update "catemorphisms" article to new math delimiters

2024-05-13 18:59:54 -07:00

haskell_language_server_again.md

Replace absolute links with relrefs

2024-05-22 23:05:11 -07:00

haskell_language_server.md

Update Haskell LSP article to new math delimiters

2024-05-13 19:00:23 -07:00

haskell_newtype.md

Update 'newtype' article to new math delimiters

2024-05-13 19:01:08 -07:00

hugo_functions.md

…

idris_catamorphisms.md

Tag the more rough articles as expired to make sure they don't show up

2023-01-29 21:23:59 -08:00

jos_local.md

Narrow some of the tags

2024-03-13 15:59:46 -07:00

lambda_calculus_integers.md

Update "church encoding" article to new math delimiters

2024-05-13 19:01:42 -07:00

math_rendering_is_wrong.md

Update 'math rendering is wrong' to new math delimiters

2024-05-13 19:02:14 -07:00

new_look.md

…

search_polynomials.md

Update "search as polynomial" article to new math delimiters

2024-05-13 19:06:33 -07:00

sidenotes.md

…

stack_recursion.md

Update 'stack language recursion' article to new math delimiters

2024-05-13 19:07:01 -07:00

starbound.md

Update btree article with new math delimiters

2024-05-13 19:07:44 -07:00

static_site.md

…

typeclasses_are_logic.md

Tag the more rough articles as expired to make sure they don't show up

2023-01-29 21:23:59 -08:00

typesafe_imperative_lang.md

…

typesafe_interpreter_revisited.md

Update "typesafe interpreter" article to new math delimiters

2024-05-13 19:08:17 -07:00

typesafe_interpreter_tuples.md

Add series tags to relevant articles

2023-01-31 18:53:30 -08:00

typesafe_interpreter.md

Add series tags to relevant articles

2023-01-31 18:53:30 -08:00

typescript_typesafe_events.md

…