狠狠撸

scala fanf typed statically jvm language programming scala lang mathematics libre collaboration open science homotopy type theory hott proof assistance voevodsky fields medail mbti myers briggs test de personalit茅 sciences occultes charlatanisme rigolo ebola virus zio io monad systems error management