Giters
mx00s
/
dhall-session-types
Geek Repo:
Geek Repo
Github PK Tool:
Github PK Tool
Stargazers:
5
Watchers:
2
Issues:
4
Forks:
mx00s/dhall-session-types Issues
Add `SimpleSession/toMermaid` to convert to a sequence diagram
Closed
3 years ago
Comments count
1
Set up GitHub actions
Updated
3 years ago
Add a license
Updated
3 years ago
Data types for `send` and `receive` aren't preserved by `toJSON`
Updated
3 years ago