FYI, I updated timeline on my web page: https://sites.google.com/a/cs.uni.wroc.pl/cahirwpz/research-interests/phd/improved-type-checker?pli=1#TOC-Timeline
... and I added several useful facts about the type checker at: https://github.com/cahirwpz/phd/blob/master/README.md I'm planning to describe roughly what's inside each of *.spad file, and to provide a sketch of high-level architecture (list all components and describe data flow / dependancies between them). I'll keep that information in README.md file at github. -- Kind regards Krystian Bacławski -- You received this message because you are subscribed to the Google Groups "FriCAS - computer algebra system" 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 http://groups.google.com/group/fricas-devel. For more options, visit https://groups.google.com/d/optout.
