user1604015's user avatar
user1604015's user avatar
user1604015's user avatar
user1604015
  • Member for 11 years, 8 months
  • Last seen more than 2 years ago
5 votes
2 answers
792 views

Replacing explicit recursion with higher-order functions

4 votes
1 answer
162 views

Background on Agda Categories library?

4 votes
1 answer
640 views

Monad transformers: IO and state

4 votes
2 answers
291 views

Unexpected pattern matching behavior

3 votes
0 answers
69 views

Automatically identifying functions that can be parametrically polymorphic

2 votes
1 answer
255 views

Error when using GAE bulkloader: Unable to download kind stats

1 vote
2 answers
315 views

Looking for mapAccumLM

1 vote
1 answer
45 views

Customize how a Python object is processed as a function argument?

1 vote
3 answers
302 views

Implementing arithmetic for Prolog

1 vote
3 answers
2k views

Broken pipe error with Google App Engine

0 votes
1 answer
422 views

Agda won't install [duplicate]