qlonik

Into FP, Type Theory and Formal Verification. Former @cryspuwaterloo

qlonik's Following