MathOverflow
SamB's user avatar
SamB's user avatar
SamB's user avatar
SamB
  • Member for 13 years, 8 months
  • Last seen more than a month ago
Profile Activity
Stats
101
reputation
0
reached
0
answers
0
questions
Communities
View all
About
I'm a Haskell enthusiast, and I also enjoy attempting to prove things in Coq and/or Agda.
Badges
This user doesn’t have any gold badges yet.
This user doesn’t have any silver badges yet.
2
bronze badges
Posts

This user hasn’t posted yet.

Top network posts
View all network posts
248
Canvas is stretched when using CSS but normal with `width` & `height` attributes
145
How to pass multiple parameters to cron job with curl?
27
How can I list all lightweight tags?
25
Can a lightweight tag be converted to an annotated tag?
23
Explorer command line switches?

Your privacy

By clicking “Accept all cookies”, you agree Stack Exchange can store cookies on your device and disclose information in accordance with our Cookie Policy.