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

Write up the "verified" portion of the forward analysis

2024-12-25 19:03:51 -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

Publish the last two posts in the SPA series

2024-12-25 19:05:28 -08:00

09_spa_agda_verified_forward

Publish the last two posts in the SPA series

2024-12-25 19:05:28 -08:00

12_compiler_let_in_lambda

…

13_compiler_cleanup

…

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

…

coq_docs

…

dell_is_horrible

…

dyno_alloy

…

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

…

00_compiler_intro.md

…

00_cs325_languages_hw1.md

…

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

…

01_compiler_tokenizing.md

…

01_cs325_languages_hw2.md

…

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

…

02_cs325_languages_hw3.md

…

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 theme

2025-03-30 23:15:54 -07:00

03_compiler_typechecking.md

…

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

…

04_spa_agda_fixedpoint.md

Write up the "verified" portion of the forward analysis

2024-12-25 19:03:51 -08:00

05_compiler_execution.md

…

06_compiler_compilation.md

…

07_compiler_runtime.md

…

08_compiler_llvm.md

…

09_compiler_garbage_collection.md

…

10_compiler_polymorphism.md

…

11_compiler_polymorphic_data_types.md

…

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

…

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

…

chapel_runtime_types.md

Add a post on Chapel's runtime types

2025-03-02 22:56:10 -08:00

chapel_x_macros.md

…

coq_dawn.md

…

coq_palindrome.md

…

crystal_nix_revisited.md

…

crystal_nix.md

…

crystal_on_arm.md

…

haskell_catamorphisms.md

…

haskell_language_server_again.md

Replace absolute links with relrefs

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

haskell_language_server.md

…

haskell_newtype.md

…

hugo_functions.md

…

idris_catamorphisms.md

Update theme

2025-03-30 23:15:54 -07:00

jos_local.md

…

lambda_calculus_integers.md

…

math_rendering_is_wrong.md

…

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

…

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

…

typesafe_interpreter.md

…

typescript_typesafe_events.md

…