blog-static/content/blog
Danila Fedorin 2547b53aa2 Switch "Homework for an assignment" post 2 to new math delimiters
Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
2024-05-13 18:20:54 -07: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 Rename the widget IDs to not include numbers. 2023-12-27 13:16:20 -08:00
codelines
coq_dawn_eval
coq_docs
dell_is_horrible
dyno_alloy Narrow some of the tags 2024-03-13 15:59:46 -07:00
haskell_lazy_evaluation
introducing_highlight
modulo_patterns
_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 Move original 'monotone function' text into new post and heavily rework it 2024-05-12 18:28:44 -07:00
00_types_intro.md Use markdown for exercises, since it works fine out of the box. 2023-12-28 16:05:15 -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 Narrow some of the tags 2024-03-13 15:59:46 -07:00
01_spa_agda_lattices.md Add a sidenote about land and lor. 2024-05-13 15:41:50 -07:00
01_types_basics.md Add an exercise about conversions to types: basics 2023-12-29 12:47:58 -08:00
02_compiler_parsing.md Narrow some of the tags 2024-03-13 15:59:46 -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 Narrow some of the tags 2024-03-13 15:59:46 -07:00
02_types_variables.md Tweak some wording in the variables article 2023-03-11 12:15:21 -08:00
03_compiler_typechecking.md Narrow some of the tags 2024-03-13 15:59:46 -07:00
03_learning_emulation.md Narrow some of the tags 2024-03-13 15:59:46 -07:00
04_compiler_improvements.md Narrow some of the tags 2024-03-13 15:59:46 -07:00
05_compiler_execution.md Narrow some of the tags 2024-03-13 15:59:46 -07:00
06_compiler_compilation.md Narrow some of the tags 2024-03-13 15:59:46 -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 Narrow some of the tags 2024-03-13 15:59:46 -07:00
11_compiler_polymorphic_data_types.md Narrow some of the tags 2024-03-13 15:59:46 -07:00
agda_expr_pattern.md Switch bracket types in Agda expression pattern post 2024-03-13 15:05:37 -07:00
agda_is_pattern.md Minor wording updates to the Agda post. 2023-08-31 22:30:36 -07:00
backend_math_rendering.md
better_explanations.md
blog_with_nix.md
boolean_values.md Narrow some of the tags 2024-03-13 15:59:46 -07:00
chapel_x_macros.md Fix dates 2023-10-14 15:58:20 -07:00
coq_dawn.md Make most tables not wrap on small screens 2022-09-10 23:56:08 -07:00
coq_palindrome.md
crystal_nix_revisited.md
crystal_nix.md
crystal_on_arm.md
haskell_catamorphisms.md
haskell_language_server_again.md
haskell_language_server.md
haskell_newtype.md Tag the more rough articles as expired to make sure they don't show up 2023-01-29 21:23:59 -08: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
math_rendering_is_wrong.md
new_look.md
search_polynomials.md Say screw it and publish polynomial article 2023-05-22 21:42:32 -07:00
sidenotes.md
stack_recursion.md
starbound.md
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 Add series tags to relevant articles 2023-01-31 18:53:30 -08: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