Hi Krystian, I only see
https://github.com/cahirwpz/phd/blob/master/README.md Can you point to the *real* documentation of your project? The following site is not giving much detail. http://cahirwpz.cs.uni.wroc.pl/research-interests/phd/improved-type-checker And https://docs.google.com/spreadsheet/ccc?key=0AgL-xAA6GpQzdGFibzQ5RFpzT1JBMzNJSUZUUUUtYVE&usp=sharing#gid=0 seems to indicate that you only worked until midterm evaluation. Ralf -- 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.
