Viewing profile — elliotlai

Agda. It halts.

The first language I learned is Min Nan, though my Min Nan is not as fluent as my Mandarin now, I still consider it my mother tongue.

Because a monad is also a functor, but a set failed to be a functor.

Agda!

Yes I think this is it!

and also, i often wonder, what makes that grassy smell before raining?

The Glorious Glasgow Haskell Compilation System is truly glorious

You meant Arrows http://www.haskell.org/arrows/

mind blowing, this is just beautiful :)

i'm a taiwanese and i take offense with that

adopt me please :D

40% of Successful Entrepreneurs are NOT Married with Children

"Ruby Under a Microscope" I was expecting some beautiful images ... nevermind, my bad

Manuel Chakravarty - Data Parallelism in Haskell

I want a Ecce Homo version of this please ><

it should delete Windows first

i want this in js for a long time

I prefer semicolon.js, more secure and reliable :) https://github.com/madrobby/semicolon.js

Vanilla JS is a fast, lightweight, cross-platform framework for building incredible, powerful JavaScript applications.

this is what github had just sent ... to everybody i guess http://www.youtube.com/watch?v=owGykVbfgUE damn good commercial