Ryan Wisnesky

Actually, just having the type names is not enough; there are no constant symbols to bind them to. For now, AQL Haskell lacks the equivalent of AQL Java's 'Prim' that...

For now, we can make this typeside free.

Will require changing attributes and foreign key types from String and String to (String,String) and (String,String), i.e., literal column names should denote pairs of entities and column names. Example: multiple...

Is anyone besides me using a Mac? Getting ‘stack build’ to recognize ‘—pedantic’ would remove the cycle where I have to commit and push to read error messages from Travis...

I can't figure out how to attach files to these issues, so here's a paywalled link to the prover we need implemented: https://epubs.siam.org/doi/abs/10.1137/0214073 Java version: https://github.com/CategoricalData/fql/blob/master/src/main/java/catdata/provers/Thue.java Once implemented, it then...

I’m pretty sure this is correct, the example is ‘unitary’ net. One way to build an instance is as you suggest, specifying an explicit witness for all the ‘connections’, and...

Here's the same net (Net instance) given as a presentation of an initial algebra: ``` instance N = literal : Net { generators i : Input o : Output equations...

Example: ``` schema Net = literal : empty { entities Input Place Trans Output foreign_keys inFrom : Input -> Place inTo : Input -> Trans outTo : Output -> Place...

ADT-ifying the errors would be nice, but I'm more concerned with the content of the messages. My experience from AQL-java is that to get good ones often requires passing around...

This may be file Data.Rewriting.CriticalPair.Type in rewriting-0.4.x.y. It looks like there are other API changes as well. > On Jul 31, 2019, at 11:13 AM, Erik Post wrote: > >...