Top Network Posts
- 226Riddle: 1 question to know if the number is 1, 2 or 3
- 197Can the golden ratio accurately be expressed in terms of e and $\pi$
- 41Prove that the product of four consecutive positive integers plus one is a perfect square
- 33Do Hask or Agda have equalisers?
- 24Can we introduce new operations that make quintics solvable?
- 23Lax monoidal functors with a different monoidal structure
- 23`String' is applied to too many type arguments
- View more network posts →
Keeping a low profile.
This user hasn't posted... yet.