Hi, Thanks for replying, I've signed the CA and forwarded this post to the core.typed mailing list. Can you tell me what should I do for now? Thanks, Z.Shang
On Tuesday, March 17, 2015 at 5:49:34 PM UTC-7, Di Xu wrote: > > Welcome, > > I participated core.typed GSoC last year, and happy to see another Chinese > student interested in core.typed project, you may forward your email to > core.typed mail list[0], also you should first sign CA[1] (if you haven't) > before any of your patches get accepted by core.typed or any core clojure > library. You may submit some patches to JIRA[2] to make your application > stronger. Also read base_env.clj[3] to get yourself familiar with > core.typed annotation. > > Any question is welcomed. > > [0] https://groups.google.com/forum/#!forum/clojure-core-typed > [1] http://clojure.org/contributing > [2] http://dev.clojure.org/jira/browse/CTYP > [3] > https://github.com/clojure/core.typed/blob/master/module-check/src/main/clojure/clojure/core/typed/base_env.clj > > Best wishes for your GSoC > > Thanks, > Di Xu > > 2015-03-18 4:44 GMT+08:00 ZhanLin Shang <shangz...@gmail.com <javascript:> > >: > >> 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 clo...@googlegroups.com >> <javascript:> >> Note that posts from new members are moderated - please be patient with >> your first post. >> To unsubscribe from this group, send email to >> clojure+u...@googlegroups.com <javascript:> >> 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+u...@googlegroups.com <javascript:>. >> For more options, visit https://groups.google.com/d/optout. >> > > -- 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.