blog-static/content/blog
Danila Fedorin 1f01c3caff Publish the last two posts in the SPA series
Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
2024-12-25 19:05:28 -08:00
..
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 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
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
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 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
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
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
jos_local.md
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
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