Return Styles: Pseud0ch, Terminal, Valhalla, NES, Geocities, Blue Moon. Entire thread

Agda thread!!1

Name: Anonymous 2012-03-09 17:48

Hey guise

Agda thread

It's like haskell but more hipster
But mixfix is an insanely powerful tool.

Name: Anonymous 2012-03-09 20:08

>>4
_+_ : num -> num -> num # Forgive me, i don't know much about #the type system (or the comments)
x + =
(+ x)

Newer Posts