Skip to content

Remove HKT and replace it by a state which consume incoming email (for verifying and signing)#47

Merged
dinosaure merged 3 commits intomainfrom
no-hkt
Feb 3, 2025
Merged

Remove HKT and replace it by a state which consume incoming email (for verifying and signing)#47
dinosaure merged 3 commits intomainfrom
no-hkt

Conversation

@dinosaure
Copy link
Copy Markdown
Member

No description provided.

@dinosaure dinosaure merged commit df7f7af into main Feb 3, 2025
@dinosaure dinosaure deleted the no-hkt branch February 3, 2025 14:06
dinosaure added a commit to dinosaure/opam-repository that referenced this pull request Apr 28, 2025
CHANGES:

- Fix unknown tag (@dinosaure, mirage/ocaml-dkim#46)
- Remove the high-kinded polymorphism (@dinosaure, mirage/ocaml-dkim#47)
- Expose useful functions (@dinosaure, mirage/ocaml-dkim#48, mirage/ocaml-dkim#53, mirage/ocaml-dkim#55)
- Fix generated signature (@dinosaure, mirage/ocaml-dkim#49)
- Export the `Decoder` module (@dinosaure, mirage/ocaml-dkim#50)
- Lint dependencies for the mirage-layer (@hannesm, mirage/ocaml-dkim#51)
- Factorize the way we digest things (@dinosaure, mirage/ocaml-dkim#54)
- Be compatible with `X509.Public_key.t` (@dinosaure, mirage/ocaml-dkim#56)
- Add `x-maintenance-intent` (@dinosaure, mirage/ocaml-dkim#52)
dinosaure added a commit to dinosaure/opam-repository that referenced this pull request Apr 28, 2025
CHANGES:

- Fix unknown tag (@dinosaure, mirage/ocaml-dkim#46)
- Remove the high-kinded polymorphism (@dinosaure, mirage/ocaml-dkim#47)
- Expose useful functions (@dinosaure, mirage/ocaml-dkim#48, mirage/ocaml-dkim#53, mirage/ocaml-dkim#55)
- Fix generated signature (@dinosaure, mirage/ocaml-dkim#49)
- Export the `Decoder` module (@dinosaure, mirage/ocaml-dkim#50)
- Lint dependencies for the mirage-layer (@hannesm, mirage/ocaml-dkim#51)
- Factorize the way we digest things (@dinosaure, mirage/ocaml-dkim#54)
- Be compatible with `X509.Public_key.t` (@dinosaure, mirage/ocaml-dkim#56)
- Add `x-maintenance-intent` (@dinosaure, mirage/ocaml-dkim#52)
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant