Amélia's blog on programming languages

amelia.how

A personal blog by Amélia, a mathematician and programmer, covering programming language implementation and semantics, including posts like 'Efficient instance resolution for Agda'.

why we picked it

A personal blog with technical posts on programming language implementation and semantics, such as a recent article on efficient instance resolution for Agda.

Checked with Google Web Risk · 1 hour ago

Visit amelia.how ↗ ♡ Save ↻ Surf somewhere else

language: EN
here since: August 2026