π Hi, I'm Tim!
π I'm on the lookout for a new position in a cool company
π± Iβm currently learning Agda
π¬ Ask me about functional programming
β‘ Visit my blog
slimtim10 Goto Github PK
Name: Tim Johns
Type: User
Company: @MercuryTechnologies
Bio: Equal parts programmer and programming educator. Proponent of functional programming and the values of type theory.
Location: Toronto, Ontario
Blog: timjohns.ca