danr

danr has asked 1 questions and find answers to 15 problems.

Stats

About

My PhD topic is theorem proving for functional programs.

I like palindromes. Here's one about me:

Poor Dan is in a droop

danr questions

Generating HTML output from criterion

danr answers

State Monad ExampleProblem
How does `HFix` work in Haskell's multirec package?
Automatically gather all quickChecks
How can I test a higher-order function using QuickCheck?
Parametrized Inductive Types in Agda
Controlling how test data is generated in QuickCheck
Undefined at the type level
Functions don't just have types: They ARE Types. And Kinds. And Sorts. Help put a blown mind back together
suppress runtime error "Irrefutable pattern failed for pattern Data.Maybe.Just b"
How to use dependent pairs