> God only knows what I'll find when I scroll down further... ...and now I'm reading about Agda, a programming language which has MELTED MY MIND! >_<
Post a reply to this message