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/25bf4812-385e-43f2-bfaf-57c791bed4f0%40googlegroups.com.
