[Haskell-cafe] A practical Haskell puzzle

Yitzchak Gale gale at sefer.org
Thu Mar 3 10:34:55 CET 2011

Eric Mertens wrote:
> (but I've had my head in Agda lately)

Indeed, coming across this problem tempted me
to abandon the real world and take refuge in Agda.

> http://hpaste.org/44469/software_stack_puzzle

Wow, so simple, and no higher-rank types! This is the
best solution yet. I am now truly in awe of the power
of GADTs.


More information about the Haskell-Cafe mailing list