Files
blog-static/content/blog/07_spa_agda_semantics_and_cfg