Hello all, My name is Zhanlin Shang and I'd like to work with the core.typed Annotations and Macros mentored by Ambrose Bonnaire-Sergeant this summer. This is the first time for me to take part in this kind of event and I hope this mailing list is the right place.
I'm a second year undergraduate student of Arizona State University and I've been programming with Common Lisp for two years and I've played around with Racket and Clojure. I'm interested in type theory and typed lambda calculus, and I've created a Lisp dialect with a type system which shares some concept with Core.Typed. I'd like to join this project to make Core.Typed better using all my knowledge and learn from the process. And I'd like to discuss with you all about the best / most beneficial design of Core.Typed. Best Wishes, Z.Shang -- You received this message because you are subscribed to the Google Groups "Clojure" group. To post to this group, send email to clojure@googlegroups.com Note that posts from new members are moderated - please be patient with your first post. To unsubscribe from this group, send email to clojure+unsubscr...@googlegroups.com For more options, visit this group at http://groups.google.com/group/clojure?hl=en --- You received this message because you are subscribed to the Google Groups "Clojure" group. To unsubscribe from this group and stop receiving emails from it, send an email to clojure+unsubscr...@googlegroups.com. For more options, visit https://groups.google.com/d/optout.
