Mario

λxλyλz.z x y

Hello, World!

I've reproduced a list of recent posts here for your reading pleasure:

Recent posts