> > --047d7ba970ca63033304fd4a139d > Content-Type: text/plain; charset=UTF-8 > > On 2014-07-03 9:23 AM, "Waldek Hebisch" <[email protected]> wrote: > > ... > > This is not satisfactory, but ATM I do not see how to > > do better within our interpreter (in the future Krystin > > GSOC work may help. > > I would like to read more about Krystin's work. Is there a blog or other > list?
Krystin blogs about progress on: http://cahirwpz.cs.uni.wroc.pl/research-interests/phd/improved-type-checker Code with some instructions is at Github: https://github.com/cahirwpz/phd -- Waldek Hebisch [email protected] -- 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.
