Jacques Comeaux

Library asymmetry in Categories.Diagram.*

1

Hi, thanks for this excellent library. I needed an `up-to-iso` for pushouts and noticed that is was missing, even though the dual theorem is available for pullbacks. This led me...

Audio not working in one direction

1

The inbound audio seems to fail about 90% of the time when receiving calls from jmp.chat to dino. These warnings appear every time it fails and seem relevant: ``` (dino:16283):...

$message_cachedir has been renamed to $message_cache_dir: https://neomutt.org/guide/reference.html#3-244-%C2%A0message_cache_dir

Clean up monoidal functor properties

8

I was intending to improve typechecking time, but I think I ended up making more progress on the "lines of Haskell compiled to" metric. The biggest improvements came from moving...