Top Network Posts
- 229Riddle: 1 question to know if the number is 1, 2 or 3
- 201Can the golden ratio accurately be expressed in terms of e and $\pi$
- 42Prove that the product of four consecutive positive integers plus one is a perfect square
- 34Do Hask or Agda have equalisers?
- 28In the 100 blue eyes problem - why is the oracle necessary?
- 27Can we introduce new operations that make quintics solvable?
- 24`String' is applied to too many type arguments
- View more network posts →
Keeping a low profile.
This user hasn't posted... yet.