SamB's user avatar
SamB's user avatar
SamB's user avatar
SamB
  • Member for 14 years
  • Last seen more than a month ago
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.