https://github.com/matsubara0507/timeout-sesstype.hs

An implementation of Multiparty Session Types with Timeout in Haskell
https://github.com/matsubara0507/timeout-sesstype.hs

haskell-application session-types

Last synced: 1 day ago
JSON representation

An implementation of Multiparty Session Types with Timeout in Haskell

• Host: GitHub
• URL: https://github.com/matsubara0507/timeout-sesstype.hs
• Owner: matsubara0507
• License: mit
• Created: 2018-01-25T15:05:15.000Z (over 6 years ago)
• Default Branch: master
• Last Pushed: 2018-01-29T13:31:11.000Z (over 6 years ago)
• Last Synced: 2023-03-01T05:21:36.620Z (over 1 year ago)
• Topics: haskell-application, session-types
• Language: Haskell
• Size: 30.3 KB
• Stars: 1
• Watchers: 1
• Forks: 0
• Open Issues: 0

Awesome Lists containing this project