On Wednesday 23 Mar 2011 14:58:21 Waldek Hebisch wrote: > It looks like good addition for next release (possibly after some > changes) -- I would like to finish current one as soon as possible > and _then_ start adding new code.
OK, I'll wait to hear from you. In the meantime I am working on a companion domain 'Lambda' which can be coerced to and from the SKI combinator domain. I've also been thinking about a third IntuitionisticLogic domain. > BTW: In the message containing first version of 1.1.2 news/relase notes > when I wrote about additions I meant additions to the notes. Yes, I realised that, but I thought there may have been a small chance of sneaking it in. Martin -- You received this message because you are subscribed to the Google Groups "FriCAS - computer algebra system" group. To post to this group, send email to [email protected]. To unsubscribe from this group, send email to [email protected]. For more options, visit this group at http://groups.google.com/group/fricas-devel?hl=en.
