View Code? Open in Web Editor
NEW
Config files for my GitHub profile.
Home Page: https://github.com/lane-brain
lane-brain's Introduction
- ๐ Hi, Iโm Lane
- ๐ Iโm interested in Functional Programming, Type Theory and Proof Assistants, and Systems Programming
- ๐ฑ Iโm currently learning Homotopy Type Theory, Agda, Programming Language Foundations, and studying a degree in Mathematics at Hunter College
- ๐ซ How to reach me: Contact me at my email address, lane[at]mailbox.org
lane-brain's People
Contributors
Watchers