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

mind blowing, this is just beautiful :)

i'm a taiwanese and i take offense with that

adopt me please :D