Once 1) is complete enroll in PhD in mathematics (category theory and informatics).
Beat my internet addiction
I have been interested in functional programming, lambda calculus, type theory etc too as a hobby.
I have been interested in functional programming, lambda calculus, type theory etc too as a hobby.