78 lines
4.7 KiB
TypeScript
78 lines
4.7 KiB
TypeScript
|
|
export const pages = [
|
||
|
|
"http://localhost:8081/about",
|
||
|
|
"http://localhost:8081/blog/00_aoc_coq/index.html",
|
||
|
|
"http://localhost:8081/blog/00_compiler_intro/index.html",
|
||
|
|
"http://localhost:8081/blog/00_cs325_languages_hw1/index.html",
|
||
|
|
"http://localhost:8081/blog/00_spa_agda_intro/index.html",
|
||
|
|
"http://localhost:8081/blog/01_aoc_coq/index.html",
|
||
|
|
"http://localhost:8081/blog/01_compiler_tokenizing/index.html",
|
||
|
|
"http://localhost:8081/blog/01_cs325_languages_hw2/index.html",
|
||
|
|
"http://localhost:8081/blog/01_learning_emulation/index.html",
|
||
|
|
"http://localhost:8081/blog/01_spa_agda_lattices/index.html",
|
||
|
|
"http://localhost:8081/blog/02_compiler_parsing/index.html",
|
||
|
|
"http://localhost:8081/blog/02_cs325_languages_hw3/index.html",
|
||
|
|
"http://localhost:8081/blog/02_learning_emulation/index.html",
|
||
|
|
"http://localhost:8081/blog/02_spa_agda_combining_lattices/index.html",
|
||
|
|
"http://localhost:8081/blog/03_compiler_typechecking/index.html",
|
||
|
|
"http://localhost:8081/blog/03_learning_emulation/index.html",
|
||
|
|
"http://localhost:8081/blog/03_spa_agda_fixed_height/index.html",
|
||
|
|
"http://localhost:8081/blog/04_compiler_improvements/index.html",
|
||
|
|
"http://localhost:8081/blog/04_spa_agda_fixedpoint/index.html",
|
||
|
|
"http://localhost:8081/blog/05_compiler_execution/index.html",
|
||
|
|
"http://localhost:8081/blog/05_spa_agda_semantics/index.html",
|
||
|
|
"http://localhost:8081/blog/06_compiler_compilation/index.html",
|
||
|
|
"http://localhost:8081/blog/06_spa_agda_cfg/index.html",
|
||
|
|
"http://localhost:8081/blog/07_compiler_runtime/index.html",
|
||
|
|
"http://localhost:8081/blog/07_spa_agda_semantics_and_cfg/index.html",
|
||
|
|
"http://localhost:8081/blog/08_compiler_llvm/index.html",
|
||
|
|
"http://localhost:8081/blog/08_spa_agda_forward/index.html",
|
||
|
|
"http://localhost:8081/blog/09_compiler_garbage_collection/index.html",
|
||
|
|
"http://localhost:8081/blog/09_spa_agda_verified_forward/index.html",
|
||
|
|
"http://localhost:8081/blog/10_compiler_polymorphism/index.html",
|
||
|
|
"http://localhost:8081/blog/11_compiler_polymorphic_data_types/index.html",
|
||
|
|
"http://localhost:8081/blog/12_compiler_let_in_lambda/index.html",
|
||
|
|
"http://localhost:8081/blog/13_compiler_cleanup/index.html",
|
||
|
|
"http://localhost:8081/blog/agda_expr_pattern/index.html",
|
||
|
|
"http://localhost:8081/blog/agda_hugo/index.html",
|
||
|
|
"http://localhost:8081/blog/agda_is_pattern/index.html",
|
||
|
|
"http://localhost:8081/blog/backend_math_rendering/index.html",
|
||
|
|
"http://localhost:8081/blog/bergamot/index.html",
|
||
|
|
"http://localhost:8081/blog/better_explanations/index.html",
|
||
|
|
/* "http://localhost:8081/blog/blog_microfeatures/index.html", has a gif, animation breaks it */
|
||
|
|
"http://localhost:8081/blog/blog_with_nix/index.html",
|
||
|
|
"http://localhost:8081/blog/boolean_values/index.html",
|
||
|
|
"http://localhost:8081/blog/chapel_runtime_types/index.html",
|
||
|
|
"http://localhost:8081/blog/chapel_x_macros/index.html",
|
||
|
|
"http://localhost:8081/blog/codelines/index.html",
|
||
|
|
"http://localhost:8081/blog/coq_dawn/index.html",
|
||
|
|
"http://localhost:8081/blog/coq_dawn_eval/index.html",
|
||
|
|
"http://localhost:8081/blog/coq_palindrome/index.html",
|
||
|
|
"http://localhost:8081/blog/crystal_nix/index.html",
|
||
|
|
"http://localhost:8081/blog/crystal_nix_revisited/index.html",
|
||
|
|
"http://localhost:8081/blog/crystal_on_arm/index.html",
|
||
|
|
"http://localhost:8081/blog/dell_is_horrible/index.html",
|
||
|
|
"http://localhost:8081/blog/dyno_alloy/index.html",
|
||
|
|
"http://localhost:8081/blog/haskell_catamorphisms/index.html",
|
||
|
|
"http://localhost:8081/blog/haskell_language_server/index.html",
|
||
|
|
"http://localhost:8081/blog/haskell_language_server_again/index.html",
|
||
|
|
"http://localhost:8081/blog/haskell_lazy_evaluation/index.html",
|
||
|
|
"http://localhost:8081/blog/hugo_functions/index.html",
|
||
|
|
/* "http://localhost:8081/blog/index.html", new posts break this test */
|
||
|
|
/* "http://localhost:8081/blog/introducing_highlight/index.html", the embed is flaky */
|
||
|
|
"http://localhost:8081/blog/jos_local/index.html",
|
||
|
|
"http://localhost:8081/blog/lambda_calculus_integers/index.html",
|
||
|
|
"http://localhost:8081/blog/math_rendering_is_wrong/index.html",
|
||
|
|
/* "http://localhost:8081/blog/modulo_patterns/index.html", has a gif, animation breaks it */
|
||
|
|
"http://localhost:8081/blog/new_look/index.html",
|
||
|
|
"http://localhost:8081/blog/search_polynomials/index.html",
|
||
|
|
"http://localhost:8081/blog/sidenotes/index.html",
|
||
|
|
"http://localhost:8081/blog/stack_recursion/index.html",
|
||
|
|
"http://localhost:8081/blog/starbound/index.html",
|
||
|
|
"http://localhost:8081/blog/static_site/index.html",
|
||
|
|
"http://localhost:8081/blog/typesafe_imperative_lang/index.html",
|
||
|
|
"http://localhost:8081/blog/typesafe_interpreter/index.html",
|
||
|
|
"http://localhost:8081/blog/typesafe_interpreter_revisited/index.html",
|
||
|
|
"http://localhost:8081/blog/typesafe_interpreter_tuples/index.html",
|
||
|
|
"http://localhost:8081/blog/typescript_typesafe_events/index.html",
|
||
|
|
]
|