> 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