Skip to main content
MathOverflow
SamB's user avatar
SamB's user avatar
SamB's user avatar
SamB
  • Member for 14 years, 5 months
  • Last seen more than 1 year 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
146
How to pass multiple parameters to cron job with curl?
28
How can I list all lightweight tags?
25
Can a lightweight tag be converted to an annotated tag?
24
Make PDF open in "Fill Window" mode with hyperref