Add typed-protocols-doc

input-output-hk / typed-protocols

Session types framework with support of protocol pipelining.

15 stars 4 forks source link

Closed tdammers closed 7 months ago

tdammers commented 9 months ago

This adds a subproject that uses Template Haskell to generate HTML documentation from a typed protocol definition.

coot commented 7 months ago

We should build typed-protocols-docs in GHA, e.g. .github/workflows/haskell.yml.

tdammers commented 7 months ago

I've added typed-protocols-doc to the GHA workflow, and it's currently passing.