As of May 31, 2023, we have updated our Code of Conduct.
SamB's user avatar
SamB's user avatar
SamB's user avatar
SamB
  • Member for 13 years, 1 month
  • Last seen more than 7 years 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.