Tom Jack

Very interesting idea! I was surprised to find that this actually seems to work, with some fixes to `coh`, below. At least, the definition is accepted, and we can define...

Should p1 and p@1 both reduce to just `hComp HIT (iB (f x)) []`? I _think_ that for a HIT with no parameters, transps/squeezes should not be applied at all...

Here is a much simpler example which seems related: ``` module noncanon5 where Id (A : U) (a0 a1 : A) : U = IdP ( A) a0 a1 data...

Thanks. I had thought e.g. the truncations were supposed to work now. It looks like the same 'bug' to me. If you apply [this diff](https://www.refheap.com/db5c199451a9079c0c898645d/raw), the example is fixed (along...

@klassare I agree. I intend to create a TZIP documenting the existing watermarks / magic bytes, which could later act as a registry for application-specific watermarks not used by Octez....

> Another option to consider would be to create domain separation on a key derivation level. Avoiding key reuse would have some security and privacy benefits, but also affect (in...

> If yes, I guess a global warning for any usage of SigningType.RAW would be a good first step No, I agree with @klassare that allowing SigningType.RAW with arbitrary payloads...

I sort of solved this for myself, using the following function: ``` (defun add-to-sprint () (interactive) (jiralib-update-issue (org-jira-get-from-org 'issue 'key) '(("customfield_FIELDID" . "SPRINTID")))) ``` `(org-jira-get-from-org 'issue 'key)` here just gets...

I just noticed that this example comes from the LIGO repository! Sorry! I guess maybe it used to be exposed in the "try LIGO" website? I will delete the example...