π 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
Equal parts programmer and programming educator. Proponent of functional programming and the values of type theory.
- Toronto, Ontario
- timjohns.ca
- in/tim-johns
- slimtim10_
Pinned Loading
-
great-problems
great-problems PublicGreat Problems is a platform for creating and sharing practice problems & problem sets for any topic.
Haskell 2
-
Intuitive-JavaScript
Intuitive-JavaScript PublicLearn modern JavaScript with lessons and practice exercises.
JavaScript 7
-
-
easy-invoice-maker
easy-invoice-maker PublicEasily generate PDF invoices which are emailed automatically to the client.
Something went wrong, please refresh the page to try again.
If the problem persists, check the GitHub status page or contact support.
If the problem persists, check the GitHub status page or contact support.