- ๐ Hi, Iโm @cogtoto (Vincent Cognet)
- ๐ Iโm interested in lambda calculus, pure type systems. I code with Scheme, Ocaml and Coq.
- ๐ฑ Iโm currently building a COQ in COQ
- ๐ซ How to reach me: [email protected]
cogtoto / pub Goto Github PK
View Code? Open in Web Editor NEWlambda calculus, type systems, interpreters, compilers. OCAML, SCHEME and COQ code
Home Page: https://github.com/cogtoto/pub