- 👋 Hi, I’m @hanleyc01
- 👀 I’m interested in computers (they're crazy!!), formal languages and logic, Philosophy of Computation, Language Syntax and Semantics :3
- 🌱 Learning about interactive theorem provers with very lofty goals of researching their implementation and maintenance
Currently an undergrad studying Philosophy and Linguistics; interested in functional programming and its potential applications in the Philosophy of Computation
Block or Report
Block or report hanleyc01
Report abuse
Contact GitHub support about this user’s behavior. Learn more about reporting abuse.
Report abuse
Something went wrong, please refresh the page to try again.
If the problem persists, check the GitHub status page or contact support.
If the problem persists, check the GitHub status page or contact support.