Thanks for your interest and your willingness to help. Opportunities should arise once I am able to get ATS3 to a point where it can actually be used by others.
Cheers! On Wednesday, February 5, 2020 at 6:43:19 AM UTC-5, rodol wrote: > > I really like ATS. I've been learning for quite a while now and trying to > spread > awareness, and get more people to learn it. > > I've seen Hongwei Xi calling for concerted community efforts. I want to > help, > but I still suck at ATS. I'm currently figuring out Temptory and plan to > start > fiddling with Xanadu and xjsonize soon after. > > I don't think I am capable enough to develop anything of use in ATS yet, > and > writing docs for something I'm unfamiliar with seems like a daunting task. > > I think I've got dependent types, templates, and theorem proving partially > figured out, I'm just starting out with linear views. > > Any advice or instruction is welcome! > -- You received this message because you are subscribed to the Google Groups "ats-lang-users" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To view this discussion on the web visit https://groups.google.com/d/msgid/ats-lang-users/ce174156-4b18-4cd7-a619-c60b1182f028%40googlegroups.com.
