Table of Contents| danilafe.com
I needed a bit of a break from “real work” recently, so I started a new| drewdevault.com
Use Markdown attributes to add HTML attributes when rendering Markdown to HTML.| gohugo.io
Dependent types| agda.readthedocs.io
Fundamentals| edwardtufte.github.io
Use embedded, custom, or inline shortcodes to insert elements such as videos, images, and social media embeds into your content.| gohugo.io
Table of Contents| danilafe.com