Neil Mitchell's Blog (Haskell etc)

Summary: Using Idris I proved the exponential and linear time fib functions are equivalent. The Haskell wiki proclaims that Implementing th...

Summary: I proved O(n) reverse is equivalent to O(n^2) reverse. Following on from my previous post I left the goal of given two reverse im...

Summary: I've been learning Idris to play around with writing simple proofs. It seems pretty cool. The Idris programming language is a ...