Andrey Mokhov

Awesome, thank you!

@jmatsushita Hello! I think this talk explains why we need `` for edge labels: https://skillsmatter.com/skillscasts/12361-labelled-algebraic-graphs Have you watched this? I'm afraid right now it's the only good explanation of edge-labelled...

> I get "Sorry, This video does not exist." when trying to view that video. @noughtmare Actually, I also get this now. This is strange because I can watch other...

In the meanwhile, I put the slides here: https://www.staff.ncl.ac.uk/andrey.mokhov/labelled-algebraic-graphs-slides.pdf See part 3.

@goldnd The slides link works fine for me. Anyway, I attached the PDF to this comment. [labelled-algebraic-graphs-slides.pdf](https://github.com/snowleopard/alga/files/3984695/labelled-algebraic-graphs-slides.pdf) As for the video recording, I'm afraid Skills Matter went into administration, so...

Hi all, Skills Matter videos are finally back, and so is the video we were looking for 🎉 https://skillsmatter.com/skillscasts/12361-labelled-algebraic-graphs

> tying it back to my question, is `mempty`/`zero` some arbitrary choice of label value, or is it a choice that somehow relates to the semiring-ish laws for `Graph`s. @jmatsushita...

Interesting, it's the first time I hear about multitrees. Since multitrees are graphs with a special structure, you can use the library to work with multitrees as long as you...

Right, I see. If you come across any specific issues with this library feel free to get in touch. In general, my goal is to eventually make the library more...

@ocharles Sure, transitive reduction is a useful operation to have, we should add it. We haven't yet figured out how to deal with acyclic graphs in a nice way (#154),...