Vincent Aravantinos
Vincent Aravantinos
I tried pushing all the versions of the various non-dev dependencies to the latest but it's even worse: the list does not appear at all, only the footer is displayed.
Mmmh I see that `collection` needs `xstream` anyways, so I could even make the types dependent on `Stream`.
Sure, I will work it properly and do a pull request. Do you confirm that a dependency on xstream is no problem?
Ok I understand you can use any other library. But in any case you still need to import xstream don't you?
Sorry was not clear in the first place. Great I'll work on it, but don't expect a pull request before a month or so - going for three weeks on...
Hi, for info, I'm back from vacation and working on it! :-)
Uhhh, I'm myself not an expert... Fearing your reviewing! ;-) Anyways it's tougher than I thought. I will do it XStream-specific, at least for a start. On my way I...
Hi all, - to answer a personal message of Ramana: no I have not made any progress on this tactic, unfortunately I am now working in a completely different field...
More details regarding the quantifier guess library, I think I remember when starting working on HINT_EXISTS_TAC about 2yrs ago and discussing it on the hol-info mailing list, that Thomas already...