Functional programming | Type theory
Location:Gensokyo
Work hard towards there
random magician again.