Logics, Math, and Philosophy lover. // use Fortran, Haskell mainly, and sometimes python3 etc. // intersted in PLT