Christophe Raffalli
Christophe Raffalli
On 17-11-21 17:02:14, Rodolphe Lepigre wrote: > T'as un exemple minimal ? > > — > You are receiving this because you authored the thread. > Reply to this email...
HApp node are now treated correctly.
Moved to project
Reopen as the is a FIXME in the code : we have notation for the arrow: ~>, -> and => But we only have one dependant product!
A use case is in - test/phd_examples/demo.pml
Assume PML learns f = g prior to the creation of the term "f x", without loss of generality, let us assume that f points to g in the union...
Mais, bon, on n'a pas d'exemple encore avec des hypothèses de la forme f = g, où f et g ne sont pas des variables ... Donc ça peut attendre.
This could be cleanly implemented having two functions per log and two functions Chrono.add_time, the new one being inactive in main.native and active in main.debug. We must make sure these...
Nice, I can't wait to have this to experiment with float/rational/gmp as argument and see if I can have both a common definition for all functions and recover the performance...
David Chemouil ***@***.***> writes: Hello David, I think you will have to use the functorial interface of hashcons library. The hashcons library does not know what a binder or a...