corpus.blog
56,966 blogs · 4,417,066 posts Claim your blog
Record · corpus.blog/posts/01a08767-7789-714a-8dac-1a4a818fa800

Integrating Agda's HTML Output with Hugo

Daniel's Blog · published 30 May 2024

A record is what was published and who pointed at it. The text of the post is not held here: read it at the source, or at its Wayback capture.

Read the post at danilafe.com Wayback capture
0blogs citing
First cited
—
Most recent
—
Rank this month
not ranked
Links from this post
11
Words captured
8,453

Cited by

No blog we hold has cited this post yet.

Links from this post

Link
Host
https://agda.github.io/agda-stdlib/master/Data.List.Properties.html
agda.github.io
The "Is Something" Pattern in Agda Read at the source ↗
danilafe.com
The "Deeply Embedded Expression" Trick in Agda Read at the source ↗
danilafe.com
https://dev.danilafe.com/DanilaFe/agda-spa/src/commit/913121488069a20cdfd40777a8777eb3744c415e/Lattice/Map.agda
dev.danilafe.com
https://dev.danilafe.com/Web-Projects/blog-static/src/commit/04f12b545d5692a78b1a2f13ef968417c749e295/agda.rb
dev.danilafe.com
Pleasant Code Includes with Hugo Read at the source ↗
danilafe.com
https://dev.danilafe.com/DanilaFe/agda-spa/src/commit/913121488069a20cdfd40777a8777eb3744c415e/Language/Base.agda
dev.danilafe.com
https://agda.readthedocs.io/en/v2.6.4.3-r1/tools/generating-html.html
agda.readthedocs.io
https://github.com/alecthomas/chroma
github.com
https://dev.danilafe.com/Web-Projects/blog-static/src/commit/6a168f2fe144850ed3a81b796e07266cbf80f382/agda.rb
dev.danilafe.com
https://dev.danilafe.com/Web-Projects/blog-static/src/branch/master/build-agda-html.rb
dev.danilafe.com