Dan's 數位🪴園
Search
Search
Dark mode
Light mode
Explorer
Home
❯
notes
❯
Representations of Syntax with Binding
Representations of Syntax with Binding
Feb 19, 2025
1 min read
plt
agda
https://jesper.sikanda.be/posts/1001-syntax-representations.html
Graph View