Blogged about proving Even[N] + Even[M] = Even[N + M] using #Agda, #Idris, #Haskell and #Scala: http://brianmckenna.org/blog/evenodd_agda_idris_haskell_scala …
Replying to @milessabin
@milessabin @puffnfresh My 7 year old once said "Hey, an even number plus an even number is always an even number." We then proved it.
10:54 PM - 23 Jan 2014
0 replies
0 retweets
3 likes
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.