- ๐ฑ Iโm currently learning
OS development
- ๐ฏ Iโm looking to collaborate on projects related to
Compilers
- ๐ฌ Ask me about :
Django
,Programming Languages Theory
,LLVM (basics)
- ๐ซ How to reach me:
mail
orTwitter DM
satyendrabanjare / hott-agda Goto Github PK
View Code? Open in Web Editor NEWThis project forked from hott/hott-agda
Development of homotopy type theory in Agda
License: MIT License