User:Abathologist
I study programming languages, logic, philosophy of logic, metaphysics, and want to help us be better humans.
My Favorite Languages | |
Language | Proficiency |
Prolog | Fluent |
Haskell | Proficient |
OCaml | Basic |
Standard ML | Proficient |
Python | Proficient |
JavaScript | Proficient |
Scheme | Proficient |
Lambda Prolog | Basic |
Bash | Proficient |