Stack Overflow
Stack Overflow

oisdk
9,268
reputation
4
17
35
  • Ireland
  • Member since May 12 2015
  • 337 profile views
  • Last seen May 26 '22 at 11:51

Programming student, using Haskell, Agda, and Swift.