list haskell infinite applicative asked Mar 3 '11 at 10:59

haskell recursion higher-order-functions asked Aug 1 '10 at 0:57

haskell state monads asked Sep 3 '10 at 22:58

haskell types asked Oct 26 '12 at 2:45

align asked Feb 6 '11 at 22:06

recursion coq asked Dec 31 '11 at 8:08

logic metaphysics hegel dialectic asked Jul 25 '11 at 23:21

binding haskell design-patterns matching asked Jul 9 '10 at 13:43

functional-programming logic-programming maybe curry asked Sep 30 '11 at 13:55

algorithm design search haskell logic asked Oct 18 '11 at 21:03