James Fairbanks

Should symbolicutils.jl provide a definition like the following? ```julia function promote_symtype(f::ComposedFunction, args) promote_symtype(f.outer, promote_symtype(f.inner, args)) end ```

Converting types to predicates for rule matching constraints

1

In trying to solve #629 with rewriting I came up with some rules: ```julia abstract type Form

It would be really cool to have generic functions in symbolic expressions. Can you overload `promote_symype` to get that behavior? In my case I have a bunch of functions indexed...

This PR migrates the UWD grammar from SyntacticModels.jl to upstream Catlab.

If you try to draw a TypedSchema with `to_graphviz`, you get a MethodError. ```julia julia> Presentation(SchNamedDecapode) ERROR: MethodError: no method matching Presentation(::TypedSchema{Symbol, InterType}) Closest candidates are: Presentation(::BasicSchema{Symbol}) @ Catlab ~/.julia/packages/Catlab/5M12F/src/categorical_algebra/ACSetsGATsInterop.jl:69...

There is a distributed algorithm to computer persistent homology barcodes over Z2. We should support a version of this algorithm. [1] Distributed Computation of Persistent Homology by Ulrich Bauer, Michael...

FAQ docs

2

We need a docs page for common tasks in decapodes that answers or provides pointers to other pages that answer the following questions: 1. How to incorporate scalar or vector...

I went to this URL https://atelierarith.github.io/Replay.jl/dev/examples/ and see that the videos just show a little explosion animation. The corresponding page on `stable` works correctly.

Preserving YAML metadata blocks in `cast_document`

1

I am trying to use Asciicast.jl inside of quarto to make gifs on reveal.js slides. When I run `cast_document` on my markdown files, the YAML metadata blocks at the top...

Using Callable Structs in Symbolic Expressions

3

I think I am correctly using a callable struct as an operator name in the following code, but then the rules don't work ```julia using SymbolicUtils import SymbolicUtils.Symbolic using SymbolicUtils.Rewriters...