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 |
| SML | Proficient |
| Python | Basic |
| Proficent | --- |
| Scheme | Proficient |
| Lambda Prolog | Basic |