I wrote a little bit on TBP: https://github.com/githwxi/ATS-Temptory/blob/master/docgen/MISC/TBP-intro.md https://github.com/githwxi/ATS-Temptory/blob/master/docgen/MISC/GSEQ-intro.md
The actual code for the GSEQ package can be found in the following files: https://github.com/githwxi/ATS-Temptory/blob/master/libats/SATS/gseq.sats https://github.com/githwxi/ATS-Temptory/blob/master/libats/DATS/gseq.dats If you are able to grasp the idea, please help write more on TBP. More later. Cheers! --Hongwei -- 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 post to this group, send email to [email protected]. Visit this group at https://groups.google.com/group/ats-lang-users. To view this discussion on the web visit https://groups.google.com/d/msgid/ats-lang-users/4bb0b264-c9e8-4758-8bc2-1a25e1fd461d%40googlegroups.com.
