|
|
|
|
|
|
by edwardkmett
3907 days ago
|
|
|
Indeed. Our old discussions about "omega-continuous semiring homomorphisms" as the way to try to make something half-way between Dyna and the datalog bits I was working on have been very much present in my mind lately. =) |
|
|