Tagged "Agda"
-
The "Deeply Embedded Expression" Trick in Agda
2469 words, about 12 minutes to read.
I’ve been working on a relatively large Agda project for a few months now, and I’d like to think that I’ve become quite proficient. . . .
-
The "Is Something" Pattern in Agda
1861 words, about 9 minutes to read.
Agda is a functional programming language with a relatively Haskell-like syntax and feature set, so coming into it, I relied on my past experiences with Haskell to get things done. . . .