These kind folks proved my Haskell correct!
RT @agdakx@twitter.com
Two new papers for you:
"Practical Generic Programming Over a Universe Of Native Datatypes" w/ Lucas Escot at @icfp_conference@twitter.com
"Reasonable Agda Is Correct Haskell: Writing Verified Haskell using agda2hs" w/ @omelkoni@twitter.com, Lucas Escot, @jmchapman_@twitter.com, and @ulfnorell@twitter.com at #haskell22
