oisdk
9,763
reputation
4
18
36
Programming student, using Haskell, Agda, and Swift.