Tagged "Agda"
-
The "Is Something" Pattern in Agda
1772 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. . . .