Aleks Kissinger

I totally agree with this. I think semantically, there are only 2 different kinds of objects in globular: "cells" and "cell-definitions" (which are currently not distinguished, except in how they...

Also, to continue a bit the analogy with Coq (which also represents definitions and proofs as the same kind of thing, via curry-howard), the reason proofs and definitions are kept...

Having uninstalled 1.1.5 and installed 1.1.7 again, I can't reproduce the argument order problem, so maybe something funny happened with my pip version locally. If that's the case, the only...

Ah! I found it. I had this (I guess defunct?) package installed in my global site_packages: https://pypi.org/project/lark-parser/ It's a bit confusing that the readthedocs project is called `lark-parser` but on...

Perhaps you could publish a final version under `lark-parser` that either issues a deprecation warning whenever the module is imported or is just a stub depending on the latest version...

Quantomatic file formats are documented here: https://github.com/Quantomatic/quantomatic/blob/stable/docs/json_formats.txt Note that a vertex or boundary name can be any string. There is no requirement that they be of the form "bN" and...

hmm, I'm not sure an object coming from `typing.cast` is going to have the correct behaviour when I call methods on `EmailMessage` unless `Message` and `EmailMessage` have exactly the same...

I haven't really come up with a good solution to this, and consequently don't really use the tags pane much. I think fetching this info lazily is the right thing...

I was getting random crashes in Linux. It seemed to be somewhat sensitive to my Qt6/pyside version, but I never was able to pinpoint it

I'm not sure about this, mainly just because I've never used auto-formatting at this level before. It looks like this could potentially spam the commit logs by creating a double...